package com.faceunity;

import java.security.MessageDigest;

public class authpack {
	public static int sha1_32(byte[] buf){int ret=0;try{byte[] digest=MessageDigest.getInstance("SHA1").digest(buf);return ((int)(digest[0]&0xff)<<24)+((int)(digest[1]&0xff)<<16)+((int)(digest[2]&0xff)<<8)+((int)(digest[3]&0xff)<<0);}catch(Exception e){}return ret;}
	public static byte[] A(){
		byte[] buf=new byte[1294];
		int i=0;
		for(i=108;i<118;i++){ buf[0]=(byte)i; if(sha1_32(buf)==22077249){break;} }
		for(i=64;i<74;i++){ buf[1]=(byte)i; if(sha1_32(buf)==-401172253){break;} }
		for(i=-68;i<-44;i++){ buf[2]=(byte)i; if(sha1_32(buf)==1716329681){break;} }
		for(i=-62;i<-47;i++){ buf[3]=(byte)i; if(sha1_32(buf)==851030681){break;} }
		for(i=24;i<51;i++){ buf[4]=(byte)i; if(sha1_32(buf)==51642997){break;} }
		for(i=46;i<62;i++){ buf[5]=(byte)i; if(sha1_32(buf)==639057191){break;} }
		for(i=-119;i<-98;i++){ buf[6]=(byte)i; if(sha1_32(buf)==1083886435){break;} }
		for(i=91;i<114;i++){ buf[7]=(byte)i; if(sha1_32(buf)==155861490){break;} }
		for(i=10;i<30;i++){ buf[8]=(byte)i; if(sha1_32(buf)==1881706681){break;} }
		for(i=-108;i<-94;i++){ buf[9]=(byte)i; if(sha1_32(buf)==-344643375){break;} }
		for(i=94;i<112;i++){ buf[10]=(byte)i; if(sha1_32(buf)==184149875){break;} }
		for(i=-115;i<-95;i++){ buf[11]=(byte)i; if(sha1_32(buf)==1057460516){break;} }
		for(i=-125;i<-105;i++){ buf[12]=(byte)i; if(sha1_32(buf)==1603429645){break;} }
		for(i=9;i<26;i++){ buf[13]=(byte)i; if(sha1_32(buf)==470545328){break;} }
		for(i=-120;i<-118;i++){ buf[14]=(byte)i; if(sha1_32(buf)==-1258734290){break;} }
		for(i=27;i<55;i++){ buf[15]=(byte)i; if(sha1_32(buf)==1221071529){break;} }
		for(i=62;i<76;i++){ buf[16]=(byte)i; if(sha1_32(buf)==-440401207){break;} }
		for(i=-77;i<-56;i++){ buf[17]=(byte)i; if(sha1_32(buf)==-1462679572){break;} }
		for(i=-126;i<-108;i++){ buf[18]=(byte)i; if(sha1_32(buf)==1012138650){break;} }
		for(i=11;i<20;i++){ buf[19]=(byte)i; if(sha1_32(buf)==1273959554){break;} }
		for(i=42;i<57;i++){ buf[20]=(byte)i; if(sha1_32(buf)==-217394090){break;} }
		for(i=-87;i<-81;i++){ buf[21]=(byte)i; if(sha1_32(buf)==-2147142186){break;} }
		for(i=70;i<83;i++){ buf[22]=(byte)i; if(sha1_32(buf)==325470113){break;} }
		for(i=21;i<25;i++){ buf[23]=(byte)i; if(sha1_32(buf)==-1881345584){break;} }
		for(i=16;i<45;i++){ buf[24]=(byte)i; if(sha1_32(buf)==1918509024){break;} }
		for(i=-89;i<-66;i++){ buf[25]=(byte)i; if(sha1_32(buf)==1788772631){break;} }
		for(i=-113;i<-95;i++){ buf[26]=(byte)i; if(sha1_32(buf)==1451621613){break;} }
		for(i=-102;i<-80;i++){ buf[27]=(byte)i; if(sha1_32(buf)==-1502783038){break;} }
		for(i=-80;i<-68;i++){ buf[28]=(byte)i; if(sha1_32(buf)==-7284999){break;} }
		for(i=-128;i<-115;i++){ buf[29]=(byte)i; if(sha1_32(buf)==489789305){break;} }
		for(i=-44;i<-30;i++){ buf[30]=(byte)i; if(sha1_32(buf)==1208289468){break;} }
		for(i=-124;i<-111;i++){ buf[31]=(byte)i; if(sha1_32(buf)==-1662545240){break;} }
		for(i=11;i<13;i++){ buf[32]=(byte)i; if(sha1_32(buf)==768595566){break;} }
		for(i=-62;i<-42;i++){ buf[33]=(byte)i; if(sha1_32(buf)==-1692752412){break;} }
		for(i=-26;i<-9;i++){ buf[34]=(byte)i; if(sha1_32(buf)==664776868){break;} }
		for(i=-77;i<-49;i++){ buf[35]=(byte)i; if(sha1_32(buf)==924882889){break;} }
		for(i=27;i<45;i++){ buf[36]=(byte)i; if(sha1_32(buf)==-1605240803){break;} }
		for(i=105;i<115;i++){ buf[37]=(byte)i; if(sha1_32(buf)==-429878010){break;} }
		for(i=29;i<48;i++){ buf[38]=(byte)i; if(sha1_32(buf)==-886104229){break;} }
		for(i=55;i<82;i++){ buf[39]=(byte)i; if(sha1_32(buf)==-1864206338){break;} }
		for(i=-90;i<-77;i++){ buf[40]=(byte)i; if(sha1_32(buf)==1111725011){break;} }
		for(i=-23;i<-7;i++){ buf[41]=(byte)i; if(sha1_32(buf)==1296078456){break;} }
		for(i=79;i<92;i++){ buf[42]=(byte)i; if(sha1_32(buf)==-1275571478){break;} }
		for(i=50;i<77;i++){ buf[43]=(byte)i; if(sha1_32(buf)==1334022800){break;} }
		for(i=-111;i<-96;i++){ buf[44]=(byte)i; if(sha1_32(buf)==345410602){break;} }
		for(i=106;i<109;i++){ buf[45]=(byte)i; if(sha1_32(buf)==-1765124686){break;} }
		for(i=-115;i<-111;i++){ buf[46]=(byte)i; if(sha1_32(buf)==895046783){break;} }
		for(i=96;i<124;i++){ buf[47]=(byte)i; if(sha1_32(buf)==-121600599){break;} }
		for(i=116;i<128;i++){ buf[48]=(byte)i; if(sha1_32(buf)==1033268591){break;} }
		for(i=-114;i<-92;i++){ buf[49]=(byte)i; if(sha1_32(buf)==1473911269){break;} }
		for(i=12;i<25;i++){ buf[50]=(byte)i; if(sha1_32(buf)==-1590278777){break;} }
		for(i=-77;i<-57;i++){ buf[51]=(byte)i; if(sha1_32(buf)==330387339){break;} }
		for(i=97;i<125;i++){ buf[52]=(byte)i; if(sha1_32(buf)==705395971){break;} }
		for(i=80;i<101;i++){ buf[53]=(byte)i; if(sha1_32(buf)==899562910){break;} }
		for(i=88;i<105;i++){ buf[54]=(byte)i; if(sha1_32(buf)==1990180914){break;} }
		for(i=-3;i<13;i++){ buf[55]=(byte)i; if(sha1_32(buf)==-158713620){break;} }
		for(i=43;i<57;i++){ buf[56]=(byte)i; if(sha1_32(buf)==683597046){break;} }
		for(i=-77;i<-68;i++){ buf[57]=(byte)i; if(sha1_32(buf)==-155143743){break;} }
		for(i=-69;i<-43;i++){ buf[58]=(byte)i; if(sha1_32(buf)==-1642967468){break;} }
		for(i=19;i<49;i++){ buf[59]=(byte)i; if(sha1_32(buf)==1577833605){break;} }
		for(i=-38;i<-10;i++){ buf[60]=(byte)i; if(sha1_32(buf)==-877713980){break;} }
		for(i=36;i<53;i++){ buf[61]=(byte)i; if(sha1_32(buf)==-1629971358){break;} }
		for(i=-15;i<5;i++){ buf[62]=(byte)i; if(sha1_32(buf)==-372602516){break;} }
		for(i=-104;i<-92;i++){ buf[63]=(byte)i; if(sha1_32(buf)==-1201321143){break;} }
		for(i=-119;i<-106;i++){ buf[64]=(byte)i; if(sha1_32(buf)==1078927639){break;} }
		for(i=101;i<118;i++){ buf[65]=(byte)i; if(sha1_32(buf)==-951203437){break;} }
		for(i=-81;i<-65;i++){ buf[66]=(byte)i; if(sha1_32(buf)==206636891){break;} }
		for(i=-25;i<-12;i++){ buf[67]=(byte)i; if(sha1_32(buf)==1248146276){break;} }
		for(i=20;i<36;i++){ buf[68]=(byte)i; if(sha1_32(buf)==113046187){break;} }
		for(i=25;i<38;i++){ buf[69]=(byte)i; if(sha1_32(buf)==-628884343){break;} }
		for(i=82;i<102;i++){ buf[70]=(byte)i; if(sha1_32(buf)==-227968197){break;} }
		for(i=12;i<24;i++){ buf[71]=(byte)i; if(sha1_32(buf)==-1893699154){break;} }
		for(i=-22;i<1;i++){ buf[72]=(byte)i; if(sha1_32(buf)==-654807157){break;} }
		for(i=-57;i<-38;i++){ buf[73]=(byte)i; if(sha1_32(buf)==1881101125){break;} }
		for(i=26;i<48;i++){ buf[74]=(byte)i; if(sha1_32(buf)==-270304472){break;} }
		for(i=35;i<58;i++){ buf[75]=(byte)i; if(sha1_32(buf)==2128900782){break;} }
		for(i=25;i<44;i++){ buf[76]=(byte)i; if(sha1_32(buf)==-681591086){break;} }
		for(i=-61;i<-46;i++){ buf[77]=(byte)i; if(sha1_32(buf)==52797585){break;} }
		for(i=-112;i<-96;i++){ buf[78]=(byte)i; if(sha1_32(buf)==-274815942){break;} }
		for(i=-67;i<-49;i++){ buf[79]=(byte)i; if(sha1_32(buf)==-896057071){break;} }
		for(i=-5;i<18;i++){ buf[80]=(byte)i; if(sha1_32(buf)==1580302491){break;} }
		for(i=20;i<42;i++){ buf[81]=(byte)i; if(sha1_32(buf)==-1021180460){break;} }
		for(i=-48;i<-31;i++){ buf[82]=(byte)i; if(sha1_32(buf)==-465168876){break;} }
		for(i=-117;i<-97;i++){ buf[83]=(byte)i; if(sha1_32(buf)==-1122015303){break;} }
		for(i=-100;i<-85;i++){ buf[84]=(byte)i; if(sha1_32(buf)==-539433435){break;} }
		for(i=31;i<41;i++){ buf[85]=(byte)i; if(sha1_32(buf)==720352441){break;} }
		for(i=6;i<22;i++){ buf[86]=(byte)i; if(sha1_32(buf)==-236757246){break;} }
		for(i=-107;i<-79;i++){ buf[87]=(byte)i; if(sha1_32(buf)==-871160062){break;} }
		for(i=117;i<128;i++){ buf[88]=(byte)i; if(sha1_32(buf)==1677444475){break;} }
		for(i=13;i<28;i++){ buf[89]=(byte)i; if(sha1_32(buf)==243963278){break;} }
		for(i=-75;i<-59;i++){ buf[90]=(byte)i; if(sha1_32(buf)==778202848){break;} }
		for(i=-55;i<-46;i++){ buf[91]=(byte)i; if(sha1_32(buf)==-1604502496){break;} }
		for(i=-7;i<10;i++){ buf[92]=(byte)i; if(sha1_32(buf)==-685276381){break;} }
		for(i=-26;i<-21;i++){ buf[93]=(byte)i; if(sha1_32(buf)==-326068543){break;} }
		for(i=-113;i<-92;i++){ buf[94]=(byte)i; if(sha1_32(buf)==-1084777035){break;} }
		for(i=-31;i<-13;i++){ buf[95]=(byte)i; if(sha1_32(buf)==-1536837672){break;} }
		for(i=-108;i<-92;i++){ buf[96]=(byte)i; if(sha1_32(buf)==2028872603){break;} }
		for(i=-73;i<-57;i++){ buf[97]=(byte)i; if(sha1_32(buf)==-1601740629){break;} }
		for(i=-81;i<-79;i++){ buf[98]=(byte)i; if(sha1_32(buf)==1785280324){break;} }
		for(i=-25;i<-3;i++){ buf[99]=(byte)i; if(sha1_32(buf)==-31986348){break;} }
		for(i=-27;i<1;i++){ buf[100]=(byte)i; if(sha1_32(buf)==1449560116){break;} }
		for(i=51;i<70;i++){ buf[101]=(byte)i; if(sha1_32(buf)==-1433075342){break;} }
		for(i=-111;i<-88;i++){ buf[102]=(byte)i; if(sha1_32(buf)==-789682752){break;} }
		for(i=-102;i<-91;i++){ buf[103]=(byte)i; if(sha1_32(buf)==-1143970586){break;} }
		for(i=87;i<103;i++){ buf[104]=(byte)i; if(sha1_32(buf)==-1372883817){break;} }
		for(i=-96;i<-82;i++){ buf[105]=(byte)i; if(sha1_32(buf)==848759688){break;} }
		for(i=4;i<26;i++){ buf[106]=(byte)i; if(sha1_32(buf)==-1652441158){break;} }
		for(i=107;i<128;i++){ buf[107]=(byte)i; if(sha1_32(buf)==-1912038504){break;} }
		for(i=64;i<69;i++){ buf[108]=(byte)i; if(sha1_32(buf)==-1960731088){break;} }
		for(i=90;i<107;i++){ buf[109]=(byte)i; if(sha1_32(buf)==-1115581150){break;} }
		for(i=77;i<85;i++){ buf[110]=(byte)i; if(sha1_32(buf)==118495584){break;} }
		for(i=-103;i<-87;i++){ buf[111]=(byte)i; if(sha1_32(buf)==-1040444084){break;} }
		for(i=-64;i<-57;i++){ buf[112]=(byte)i; if(sha1_32(buf)==465278703){break;} }
		for(i=6;i<22;i++){ buf[113]=(byte)i; if(sha1_32(buf)==1251941849){break;} }
		for(i=-122;i<-94;i++){ buf[114]=(byte)i; if(sha1_32(buf)==-870174146){break;} }
		for(i=32;i<57;i++){ buf[115]=(byte)i; if(sha1_32(buf)==1278116171){break;} }
		for(i=-4;i<6;i++){ buf[116]=(byte)i; if(sha1_32(buf)==-1291894416){break;} }
		for(i=68;i<87;i++){ buf[117]=(byte)i; if(sha1_32(buf)==5058647){break;} }
		for(i=-87;i<-68;i++){ buf[118]=(byte)i; if(sha1_32(buf)==-1128812082){break;} }
		for(i=0;i<11;i++){ buf[119]=(byte)i; if(sha1_32(buf)==-11389640){break;} }
		for(i=74;i<84;i++){ buf[120]=(byte)i; if(sha1_32(buf)==-330186231){break;} }
		for(i=-99;i<-85;i++){ buf[121]=(byte)i; if(sha1_32(buf)==257445071){break;} }
		for(i=-128;i<-118;i++){ buf[122]=(byte)i; if(sha1_32(buf)==-681070952){break;} }
		for(i=-128;i<-112;i++){ buf[123]=(byte)i; if(sha1_32(buf)==-1233496085){break;} }
		for(i=-16;i<6;i++){ buf[124]=(byte)i; if(sha1_32(buf)==621802907){break;} }
		for(i=17;i<28;i++){ buf[125]=(byte)i; if(sha1_32(buf)==-1384635922){break;} }
		for(i=43;i<50;i++){ buf[126]=(byte)i; if(sha1_32(buf)==2033540619){break;} }
		for(i=95;i<110;i++){ buf[127]=(byte)i; if(sha1_32(buf)==1209499965){break;} }
		for(i=102;i<118;i++){ buf[128]=(byte)i; if(sha1_32(buf)==837894520){break;} }
		for(i=11;i<25;i++){ buf[129]=(byte)i; if(sha1_32(buf)==1554590925){break;} }
		for(i=42;i<61;i++){ buf[130]=(byte)i; if(sha1_32(buf)==1449922282){break;} }
		for(i=87;i<96;i++){ buf[131]=(byte)i; if(sha1_32(buf)==226675876){break;} }
		for(i=-124;i<-103;i++){ buf[132]=(byte)i; if(sha1_32(buf)==1879285238){break;} }
		for(i=-34;i<-25;i++){ buf[133]=(byte)i; if(sha1_32(buf)==-1189808024){break;} }
		for(i=104;i<108;i++){ buf[134]=(byte)i; if(sha1_32(buf)==863433223){break;} }
		for(i=-122;i<-105;i++){ buf[135]=(byte)i; if(sha1_32(buf)==-14910317){break;} }
		for(i=43;i<64;i++){ buf[136]=(byte)i; if(sha1_32(buf)==1887439342){break;} }
		for(i=-128;i<-115;i++){ buf[137]=(byte)i; if(sha1_32(buf)==801893009){break;} }
		for(i=34;i<54;i++){ buf[138]=(byte)i; if(sha1_32(buf)==1108924619){break;} }
		for(i=-115;i<-102;i++){ buf[139]=(byte)i; if(sha1_32(buf)==-1868857328){break;} }
		for(i=-83;i<-71;i++){ buf[140]=(byte)i; if(sha1_32(buf)==-1427045139){break;} }
		for(i=16;i<31;i++){ buf[141]=(byte)i; if(sha1_32(buf)==-628849938){break;} }
		for(i=87;i<90;i++){ buf[142]=(byte)i; if(sha1_32(buf)==-934533330){break;} }
		for(i=40;i<58;i++){ buf[143]=(byte)i; if(sha1_32(buf)==1349176067){break;} }
		for(i=-112;i<-95;i++){ buf[144]=(byte)i; if(sha1_32(buf)==398683070){break;} }
		for(i=-40;i<-16;i++){ buf[145]=(byte)i; if(sha1_32(buf)==-1566064906){break;} }
		for(i=26;i<32;i++){ buf[146]=(byte)i; if(sha1_32(buf)==1537453036){break;} }
		for(i=103;i<119;i++){ buf[147]=(byte)i; if(sha1_32(buf)==-1923727403){break;} }
		for(i=-81;i<-56;i++){ buf[148]=(byte)i; if(sha1_32(buf)==612684935){break;} }
		for(i=64;i<88;i++){ buf[149]=(byte)i; if(sha1_32(buf)==-1579061122){break;} }
		for(i=-1;i<12;i++){ buf[150]=(byte)i; if(sha1_32(buf)==1128541839){break;} }
		for(i=56;i<68;i++){ buf[151]=(byte)i; if(sha1_32(buf)==581829323){break;} }
		for(i=-127;i<-112;i++){ buf[152]=(byte)i; if(sha1_32(buf)==757330741){break;} }
		for(i=119;i<128;i++){ buf[153]=(byte)i; if(sha1_32(buf)==-7575431){break;} }
		for(i=-117;i<-90;i++){ buf[154]=(byte)i; if(sha1_32(buf)==1267840707){break;} }
		for(i=-46;i<-22;i++){ buf[155]=(byte)i; if(sha1_32(buf)==-1310589343){break;} }
		for(i=17;i<41;i++){ buf[156]=(byte)i; if(sha1_32(buf)==-51763917){break;} }
		for(i=-62;i<-41;i++){ buf[157]=(byte)i; if(sha1_32(buf)==1946439993){break;} }
		for(i=-121;i<-110;i++){ buf[158]=(byte)i; if(sha1_32(buf)==-1757050712){break;} }
		for(i=-90;i<-77;i++){ buf[159]=(byte)i; if(sha1_32(buf)==-1710201922){break;} }
		for(i=-71;i<-63;i++){ buf[160]=(byte)i; if(sha1_32(buf)==-213649646){break;} }
		for(i=54;i<68;i++){ buf[161]=(byte)i; if(sha1_32(buf)==-545058614){break;} }
		for(i=3;i<16;i++){ buf[162]=(byte)i; if(sha1_32(buf)==-1104224980){break;} }
		for(i=-102;i<-86;i++){ buf[163]=(byte)i; if(sha1_32(buf)==-1549391033){break;} }
		for(i=13;i<23;i++){ buf[164]=(byte)i; if(sha1_32(buf)==424072246){break;} }
		for(i=103;i<121;i++){ buf[165]=(byte)i; if(sha1_32(buf)==1398951700){break;} }
		for(i=81;i<93;i++){ buf[166]=(byte)i; if(sha1_32(buf)==2130327725){break;} }
		for(i=24;i<43;i++){ buf[167]=(byte)i; if(sha1_32(buf)==53902794){break;} }
		for(i=78;i<88;i++){ buf[168]=(byte)i; if(sha1_32(buf)==2030582352){break;} }
		for(i=24;i<36;i++){ buf[169]=(byte)i; if(sha1_32(buf)==755852889){break;} }
		for(i=-39;i<-14;i++){ buf[170]=(byte)i; if(sha1_32(buf)==-122417074){break;} }
		for(i=73;i<91;i++){ buf[171]=(byte)i; if(sha1_32(buf)==255948010){break;} }
		for(i=27;i<35;i++){ buf[172]=(byte)i; if(sha1_32(buf)==-738280671){break;} }
		for(i=-27;i<-8;i++){ buf[173]=(byte)i; if(sha1_32(buf)==1789835457){break;} }
		for(i=-7;i<13;i++){ buf[174]=(byte)i; if(sha1_32(buf)==-1463121432){break;} }
		for(i=-123;i<-107;i++){ buf[175]=(byte)i; if(sha1_32(buf)==-516810353){break;} }
		for(i=-47;i<-33;i++){ buf[176]=(byte)i; if(sha1_32(buf)==847811787){break;} }
		for(i=-113;i<-86;i++){ buf[177]=(byte)i; if(sha1_32(buf)==1279741909){break;} }
		for(i=-18;i<-9;i++){ buf[178]=(byte)i; if(sha1_32(buf)==1557960671){break;} }
		for(i=-41;i<-26;i++){ buf[179]=(byte)i; if(sha1_32(buf)==173737869){break;} }
		for(i=-81;i<-79;i++){ buf[180]=(byte)i; if(sha1_32(buf)==-1964807795){break;} }
		for(i=102;i<110;i++){ buf[181]=(byte)i; if(sha1_32(buf)==912275366){break;} }
		for(i=-54;i<-28;i++){ buf[182]=(byte)i; if(sha1_32(buf)==1724356227){break;} }
		for(i=-82;i<-62;i++){ buf[183]=(byte)i; if(sha1_32(buf)==-1586197500){break;} }
		for(i=-70;i<-58;i++){ buf[184]=(byte)i; if(sha1_32(buf)==1412866600){break;} }
		for(i=-84;i<-70;i++){ buf[185]=(byte)i; if(sha1_32(buf)==912035206){break;} }
		for(i=-57;i<-41;i++){ buf[186]=(byte)i; if(sha1_32(buf)==-1150158441){break;} }
		for(i=-103;i<-78;i++){ buf[187]=(byte)i; if(sha1_32(buf)==886250528){break;} }
		for(i=16;i<28;i++){ buf[188]=(byte)i; if(sha1_32(buf)==1160688574){break;} }
		for(i=-120;i<-107;i++){ buf[189]=(byte)i; if(sha1_32(buf)==-1016695624){break;} }
		for(i=106;i<128;i++){ buf[190]=(byte)i; if(sha1_32(buf)==-1666116343){break;} }
		for(i=79;i<96;i++){ buf[191]=(byte)i; if(sha1_32(buf)==-1042489781){break;} }
		for(i=-22;i<-10;i++){ buf[192]=(byte)i; if(sha1_32(buf)==1295843953){break;} }
		for(i=-103;i<-93;i++){ buf[193]=(byte)i; if(sha1_32(buf)==-1281531719){break;} }
		for(i=-55;i<-32;i++){ buf[194]=(byte)i; if(sha1_32(buf)==-656369873){break;} }
		for(i=56;i<75;i++){ buf[195]=(byte)i; if(sha1_32(buf)==1335998694){break;} }
		for(i=78;i<87;i++){ buf[196]=(byte)i; if(sha1_32(buf)==986053025){break;} }
		for(i=-128;i<-122;i++){ buf[197]=(byte)i; if(sha1_32(buf)==-2071290906){break;} }
		for(i=-91;i<-73;i++){ buf[198]=(byte)i; if(sha1_32(buf)==-2093431334){break;} }
		for(i=37;i<54;i++){ buf[199]=(byte)i; if(sha1_32(buf)==1816794986){break;} }
		for(i=-73;i<-66;i++){ buf[200]=(byte)i; if(sha1_32(buf)==113729573){break;} }
		for(i=109;i<128;i++){ buf[201]=(byte)i; if(sha1_32(buf)==434830860){break;} }
		for(i=-7;i<9;i++){ buf[202]=(byte)i; if(sha1_32(buf)==177279004){break;} }
		for(i=36;i<44;i++){ buf[203]=(byte)i; if(sha1_32(buf)==-234935984){break;} }
		for(i=-11;i<16;i++){ buf[204]=(byte)i; if(sha1_32(buf)==-234935984){break;} }
		for(i=-8;i<3;i++){ buf[205]=(byte)i; if(sha1_32(buf)==-761886667){break;} }
		for(i=46;i<55;i++){ buf[206]=(byte)i; if(sha1_32(buf)==175813292){break;} }
		for(i=55;i<56;i++){ buf[207]=(byte)i; if(sha1_32(buf)==-287272457){break;} }
		for(i=55;i<66;i++){ buf[208]=(byte)i; if(sha1_32(buf)==1297574641){break;} }
		for(i=27;i<32;i++){ buf[209]=(byte)i; if(sha1_32(buf)==-1888152339){break;} }
		for(i=-43;i<-42;i++){ buf[210]=(byte)i; if(sha1_32(buf)==-1331283749){break;} }
		for(i=-33;i<-15;i++){ buf[211]=(byte)i; if(sha1_32(buf)==-377516080){break;} }
		for(i=115;i<122;i++){ buf[212]=(byte)i; if(sha1_32(buf)==-894529806){break;} }
		for(i=-3;i<22;i++){ buf[213]=(byte)i; if(sha1_32(buf)==495026724){break;} }
		for(i=39;i<58;i++){ buf[214]=(byte)i; if(sha1_32(buf)==1792144662){break;} }
		for(i=95;i<100;i++){ buf[215]=(byte)i; if(sha1_32(buf)==1291811743){break;} }
		for(i=112;i<128;i++){ buf[216]=(byte)i; if(sha1_32(buf)==368867341){break;} }
		for(i=86;i<105;i++){ buf[217]=(byte)i; if(sha1_32(buf)==1302954515){break;} }
		for(i=-79;i<-58;i++){ buf[218]=(byte)i; if(sha1_32(buf)==1666776109){break;} }
		for(i=-23;i<-7;i++){ buf[219]=(byte)i; if(sha1_32(buf)==-623876859){break;} }
		for(i=-15;i<9;i++){ buf[220]=(byte)i; if(sha1_32(buf)==1554746369){break;} }
		for(i=3;i<21;i++){ buf[221]=(byte)i; if(sha1_32(buf)==-1614974716){break;} }
		for(i=-60;i<-42;i++){ buf[222]=(byte)i; if(sha1_32(buf)==-416753608){break;} }
		for(i=-35;i<-22;i++){ buf[223]=(byte)i; if(sha1_32(buf)==1883391602){break;} }
		for(i=13;i<29;i++){ buf[224]=(byte)i; if(sha1_32(buf)==-1010062927){break;} }
		for(i=-62;i<-55;i++){ buf[225]=(byte)i; if(sha1_32(buf)==-307605244){break;} }
		for(i=30;i<36;i++){ buf[226]=(byte)i; if(sha1_32(buf)==1669880788){break;} }
		for(i=7;i<29;i++){ buf[227]=(byte)i; if(sha1_32(buf)==-558177088){break;} }
		for(i=11;i<30;i++){ buf[228]=(byte)i; if(sha1_32(buf)==303828613){break;} }
		for(i=52;i<78;i++){ buf[229]=(byte)i; if(sha1_32(buf)==-920651102){break;} }
		for(i=58;i<75;i++){ buf[230]=(byte)i; if(sha1_32(buf)==1089881690){break;} }
		for(i=29;i<60;i++){ buf[231]=(byte)i; if(sha1_32(buf)==2045515589){break;} }
		for(i=-127;i<-108;i++){ buf[232]=(byte)i; if(sha1_32(buf)==-215527415){break;} }
		for(i=111;i<117;i++){ buf[233]=(byte)i; if(sha1_32(buf)==-541334425){break;} }
		for(i=-66;i<-60;i++){ buf[234]=(byte)i; if(sha1_32(buf)==2057875356){break;} }
		for(i=-64;i<-41;i++){ buf[235]=(byte)i; if(sha1_32(buf)==-1808514763){break;} }
		for(i=-54;i<-36;i++){ buf[236]=(byte)i; if(sha1_32(buf)==-620711236){break;} }
		for(i=-76;i<-62;i++){ buf[237]=(byte)i; if(sha1_32(buf)==-102555354){break;} }
		for(i=-7;i<12;i++){ buf[238]=(byte)i; if(sha1_32(buf)==319463738){break;} }
		for(i=-21;i<-5;i++){ buf[239]=(byte)i; if(sha1_32(buf)==317906932){break;} }
		for(i=-22;i<-3;i++){ buf[240]=(byte)i; if(sha1_32(buf)==-1337208103){break;} }
		for(i=89;i<106;i++){ buf[241]=(byte)i; if(sha1_32(buf)==-284414326){break;} }
		for(i=-56;i<-31;i++){ buf[242]=(byte)i; if(sha1_32(buf)==1044023225){break;} }
		for(i=35;i<59;i++){ buf[243]=(byte)i; if(sha1_32(buf)==-593487799){break;} }
		for(i=-94;i<-80;i++){ buf[244]=(byte)i; if(sha1_32(buf)==235072775){break;} }
		for(i=-128;i<-115;i++){ buf[245]=(byte)i; if(sha1_32(buf)==-907792885){break;} }
		for(i=75;i<86;i++){ buf[246]=(byte)i; if(sha1_32(buf)==1157231344){break;} }
		for(i=-66;i<-55;i++){ buf[247]=(byte)i; if(sha1_32(buf)==-639743323){break;} }
		for(i=116;i<128;i++){ buf[248]=(byte)i; if(sha1_32(buf)==-1681682329){break;} }
		for(i=88;i<106;i++){ buf[249]=(byte)i; if(sha1_32(buf)==4440127){break;} }
		for(i=-16;i<-2;i++){ buf[250]=(byte)i; if(sha1_32(buf)==-1057604874){break;} }
		for(i=-92;i<-79;i++){ buf[251]=(byte)i; if(sha1_32(buf)==1232934109){break;} }
		for(i=-89;i<-73;i++){ buf[252]=(byte)i; if(sha1_32(buf)==-1342290019){break;} }
		for(i=25;i<47;i++){ buf[253]=(byte)i; if(sha1_32(buf)==-1882429583){break;} }
		for(i=14;i<41;i++){ buf[254]=(byte)i; if(sha1_32(buf)==1901680469){break;} }
		for(i=-108;i<-89;i++){ buf[255]=(byte)i; if(sha1_32(buf)==-880874675){break;} }
		for(i=60;i<68;i++){ buf[256]=(byte)i; if(sha1_32(buf)==237126867){break;} }
		for(i=17;i<24;i++){ buf[257]=(byte)i; if(sha1_32(buf)==-605219574){break;} }
		for(i=88;i<104;i++){ buf[258]=(byte)i; if(sha1_32(buf)==-1674579920){break;} }
		for(i=50;i<68;i++){ buf[259]=(byte)i; if(sha1_32(buf)==90020844){break;} }
		for(i=-81;i<-61;i++){ buf[260]=(byte)i; if(sha1_32(buf)==-713912400){break;} }
		for(i=-60;i<-35;i++){ buf[261]=(byte)i; if(sha1_32(buf)==951793995){break;} }
		for(i=20;i<35;i++){ buf[262]=(byte)i; if(sha1_32(buf)==1295489494){break;} }
		for(i=103;i<116;i++){ buf[263]=(byte)i; if(sha1_32(buf)==-520181201){break;} }
		for(i=101;i<114;i++){ buf[264]=(byte)i; if(sha1_32(buf)==570664975){break;} }
		for(i=109;i<123;i++){ buf[265]=(byte)i; if(sha1_32(buf)==1807834507){break;} }
		for(i=-75;i<-48;i++){ buf[266]=(byte)i; if(sha1_32(buf)==1062757379){break;} }
		for(i=-16;i<-2;i++){ buf[267]=(byte)i; if(sha1_32(buf)==-1523818683){break;} }
		for(i=-51;i<-43;i++){ buf[268]=(byte)i; if(sha1_32(buf)==-1297204631){break;} }
		for(i=81;i<96;i++){ buf[269]=(byte)i; if(sha1_32(buf)==903703802){break;} }
		for(i=93;i<111;i++){ buf[270]=(byte)i; if(sha1_32(buf)==-1870320099){break;} }
		for(i=85;i<109;i++){ buf[271]=(byte)i; if(sha1_32(buf)==666024272){break;} }
		for(i=109;i<128;i++){ buf[272]=(byte)i; if(sha1_32(buf)==1399536568){break;} }
		for(i=-126;i<-113;i++){ buf[273]=(byte)i; if(sha1_32(buf)==420103875){break;} }
		for(i=113;i<119;i++){ buf[274]=(byte)i; if(sha1_32(buf)==1528479418){break;} }
		for(i=-37;i<-23;i++){ buf[275]=(byte)i; if(sha1_32(buf)==-1678298872){break;} }
		for(i=99;i<105;i++){ buf[276]=(byte)i; if(sha1_32(buf)==-493688400){break;} }
		for(i=85;i<114;i++){ buf[277]=(byte)i; if(sha1_32(buf)==856033858){break;} }
		for(i=-99;i<-79;i++){ buf[278]=(byte)i; if(sha1_32(buf)==-1638518879){break;} }
		for(i=-108;i<-93;i++){ buf[279]=(byte)i; if(sha1_32(buf)==-1493073933){break;} }
		for(i=-111;i<-89;i++){ buf[280]=(byte)i; if(sha1_32(buf)==1256288157){break;} }
		for(i=-36;i<-27;i++){ buf[281]=(byte)i; if(sha1_32(buf)==1425796623){break;} }
		for(i=-37;i<-27;i++){ buf[282]=(byte)i; if(sha1_32(buf)==-324410763){break;} }
		for(i=-58;i<-36;i++){ buf[283]=(byte)i; if(sha1_32(buf)==1768130628){break;} }
		for(i=37;i<49;i++){ buf[284]=(byte)i; if(sha1_32(buf)==-838595571){break;} }
		for(i=-77;i<-54;i++){ buf[285]=(byte)i; if(sha1_32(buf)==-220122822){break;} }
		for(i=26;i<52;i++){ buf[286]=(byte)i; if(sha1_32(buf)==1783310723){break;} }
		for(i=-94;i<-75;i++){ buf[287]=(byte)i; if(sha1_32(buf)==1898816536){break;} }
		for(i=-78;i<-59;i++){ buf[288]=(byte)i; if(sha1_32(buf)==-2051108991){break;} }
		for(i=-36;i<-21;i++){ buf[289]=(byte)i; if(sha1_32(buf)==1966294522){break;} }
		for(i=45;i<69;i++){ buf[290]=(byte)i; if(sha1_32(buf)==-161756409){break;} }
		for(i=5;i<26;i++){ buf[291]=(byte)i; if(sha1_32(buf)==620786091){break;} }
		for(i=17;i<41;i++){ buf[292]=(byte)i; if(sha1_32(buf)==1120111807){break;} }
		for(i=62;i<87;i++){ buf[293]=(byte)i; if(sha1_32(buf)==1509712237){break;} }
		for(i=-126;i<-105;i++){ buf[294]=(byte)i; if(sha1_32(buf)==-2016946153){break;} }
		for(i=63;i<67;i++){ buf[295]=(byte)i; if(sha1_32(buf)==1831288564){break;} }
		for(i=-111;i<-99;i++){ buf[296]=(byte)i; if(sha1_32(buf)==432995739){break;} }
		for(i=-90;i<-69;i++){ buf[297]=(byte)i; if(sha1_32(buf)==1922291901){break;} }
		for(i=-63;i<-56;i++){ buf[298]=(byte)i; if(sha1_32(buf)==-596875428){break;} }
		for(i=-54;i<-39;i++){ buf[299]=(byte)i; if(sha1_32(buf)==-1295957571){break;} }
		for(i=-98;i<-82;i++){ buf[300]=(byte)i; if(sha1_32(buf)==-1285797727){break;} }
		for(i=-25;i<-4;i++){ buf[301]=(byte)i; if(sha1_32(buf)==191050764){break;} }
		for(i=88;i<94;i++){ buf[302]=(byte)i; if(sha1_32(buf)==-608860030){break;} }
		for(i=-113;i<-86;i++){ buf[303]=(byte)i; if(sha1_32(buf)==-909518694){break;} }
		for(i=110;i<128;i++){ buf[304]=(byte)i; if(sha1_32(buf)==-2101328006){break;} }
		for(i=10;i<17;i++){ buf[305]=(byte)i; if(sha1_32(buf)==-1112868699){break;} }
		for(i=75;i<90;i++){ buf[306]=(byte)i; if(sha1_32(buf)==-1846021386){break;} }
		for(i=19;i<38;i++){ buf[307]=(byte)i; if(sha1_32(buf)==-452756251){break;} }
		for(i=46;i<63;i++){ buf[308]=(byte)i; if(sha1_32(buf)==-1628212510){break;} }
		for(i=112;i<121;i++){ buf[309]=(byte)i; if(sha1_32(buf)==-863208562){break;} }
		for(i=18;i<42;i++){ buf[310]=(byte)i; if(sha1_32(buf)==747008430){break;} }
		for(i=-124;i<-113;i++){ buf[311]=(byte)i; if(sha1_32(buf)==709756184){break;} }
		for(i=-102;i<-76;i++){ buf[312]=(byte)i; if(sha1_32(buf)==1145108417){break;} }
		for(i=-44;i<-28;i++){ buf[313]=(byte)i; if(sha1_32(buf)==-1973834124){break;} }
		for(i=-77;i<-67;i++){ buf[314]=(byte)i; if(sha1_32(buf)==-1569367455){break;} }
		for(i=64;i<81;i++){ buf[315]=(byte)i; if(sha1_32(buf)==-1567919355){break;} }
		for(i=-55;i<-45;i++){ buf[316]=(byte)i; if(sha1_32(buf)==-2146664211){break;} }
		for(i=8;i<12;i++){ buf[317]=(byte)i; if(sha1_32(buf)==518675505){break;} }
		for(i=-17;i<-1;i++){ buf[318]=(byte)i; if(sha1_32(buf)==1791341479){break;} }
		for(i=75;i<89;i++){ buf[319]=(byte)i; if(sha1_32(buf)==-1393370011){break;} }
		for(i=-28;i<-13;i++){ buf[320]=(byte)i; if(sha1_32(buf)==-1122540143){break;} }
		for(i=30;i<43;i++){ buf[321]=(byte)i; if(sha1_32(buf)==-1231236342){break;} }
		for(i=-99;i<-81;i++){ buf[322]=(byte)i; if(sha1_32(buf)==1785006678){break;} }
		for(i=75;i<90;i++){ buf[323]=(byte)i; if(sha1_32(buf)==1752528032){break;} }
		for(i=-103;i<-86;i++){ buf[324]=(byte)i; if(sha1_32(buf)==-338828285){break;} }
		for(i=43;i<65;i++){ buf[325]=(byte)i; if(sha1_32(buf)==-1969033568){break;} }
		for(i=99;i<111;i++){ buf[326]=(byte)i; if(sha1_32(buf)==115522891){break;} }
		for(i=-69;i<-64;i++){ buf[327]=(byte)i; if(sha1_32(buf)==-1707109373){break;} }
		for(i=-25;i<-9;i++){ buf[328]=(byte)i; if(sha1_32(buf)==1474271448){break;} }
		for(i=67;i<81;i++){ buf[329]=(byte)i; if(sha1_32(buf)==-1957325240){break;} }
		for(i=-128;i<-111;i++){ buf[330]=(byte)i; if(sha1_32(buf)==-1699855027){break;} }
		for(i=57;i<81;i++){ buf[331]=(byte)i; if(sha1_32(buf)==2031157769){break;} }
		for(i=-107;i<-83;i++){ buf[332]=(byte)i; if(sha1_32(buf)==-1893226965){break;} }
		for(i=78;i<91;i++){ buf[333]=(byte)i; if(sha1_32(buf)==513169045){break;} }
		for(i=-34;i<-16;i++){ buf[334]=(byte)i; if(sha1_32(buf)==1052112915){break;} }
		for(i=74;i<103;i++){ buf[335]=(byte)i; if(sha1_32(buf)==1181350710){break;} }
		for(i=-14;i<-9;i++){ buf[336]=(byte)i; if(sha1_32(buf)==292607473){break;} }
		for(i=-93;i<-76;i++){ buf[337]=(byte)i; if(sha1_32(buf)==-95058646){break;} }
		for(i=-82;i<-66;i++){ buf[338]=(byte)i; if(sha1_32(buf)==-1407537502){break;} }
		for(i=-23;i<-11;i++){ buf[339]=(byte)i; if(sha1_32(buf)==-2008732036){break;} }
		for(i=-50;i<-47;i++){ buf[340]=(byte)i; if(sha1_32(buf)==1465748830){break;} }
		for(i=-126;i<-113;i++){ buf[341]=(byte)i; if(sha1_32(buf)==519057874){break;} }
		for(i=-56;i<-36;i++){ buf[342]=(byte)i; if(sha1_32(buf)==-156758799){break;} }
		for(i=-75;i<-64;i++){ buf[343]=(byte)i; if(sha1_32(buf)==312679781){break;} }
		for(i=65;i<75;i++){ buf[344]=(byte)i; if(sha1_32(buf)==-775363794){break;} }
		for(i=52;i<63;i++){ buf[345]=(byte)i; if(sha1_32(buf)==-158986510){break;} }
		for(i=97;i<105;i++){ buf[346]=(byte)i; if(sha1_32(buf)==1597688216){break;} }
		for(i=104;i<128;i++){ buf[347]=(byte)i; if(sha1_32(buf)==558909603){break;} }
		for(i=-27;i<-21;i++){ buf[348]=(byte)i; if(sha1_32(buf)==902962433){break;} }
		for(i=-18;i<0;i++){ buf[349]=(byte)i; if(sha1_32(buf)==-588914505){break;} }
		for(i=90;i<100;i++){ buf[350]=(byte)i; if(sha1_32(buf)==678573862){break;} }
		for(i=-40;i<-25;i++){ buf[351]=(byte)i; if(sha1_32(buf)==-1532418390){break;} }
		for(i=27;i<51;i++){ buf[352]=(byte)i; if(sha1_32(buf)==1338930568){break;} }
		for(i=-57;i<-41;i++){ buf[353]=(byte)i; if(sha1_32(buf)==1255507473){break;} }
		for(i=102;i<107;i++){ buf[354]=(byte)i; if(sha1_32(buf)==1447333404){break;} }
		for(i=-102;i<-87;i++){ buf[355]=(byte)i; if(sha1_32(buf)==-1481535594){break;} }
		for(i=-28;i<-6;i++){ buf[356]=(byte)i; if(sha1_32(buf)==972033079){break;} }
		for(i=49;i<57;i++){ buf[357]=(byte)i; if(sha1_32(buf)==744342894){break;} }
		for(i=-116;i<-95;i++){ buf[358]=(byte)i; if(sha1_32(buf)==-1477116253){break;} }
		for(i=-6;i<13;i++){ buf[359]=(byte)i; if(sha1_32(buf)==-1477116253){break;} }
		for(i=25;i<27;i++){ buf[360]=(byte)i; if(sha1_32(buf)==899651259){break;} }
		for(i=-2;i<19;i++){ buf[361]=(byte)i; if(sha1_32(buf)==2066032265){break;} }
		for(i=32;i<48;i++){ buf[362]=(byte)i; if(sha1_32(buf)==-1483454256){break;} }
		for(i=-33;i<-20;i++){ buf[363]=(byte)i; if(sha1_32(buf)==2018244943){break;} }
		for(i=43;i<61;i++){ buf[364]=(byte)i; if(sha1_32(buf)==1152764280){break;} }
		for(i=-120;i<-98;i++){ buf[365]=(byte)i; if(sha1_32(buf)==-1751543465){break;} }
		for(i=-111;i<-105;i++){ buf[366]=(byte)i; if(sha1_32(buf)==1334104435){break;} }
		for(i=110;i<127;i++){ buf[367]=(byte)i; if(sha1_32(buf)==1828095622){break;} }
		for(i=-107;i<-93;i++){ buf[368]=(byte)i; if(sha1_32(buf)==-1620313962){break;} }
		for(i=67;i<78;i++){ buf[369]=(byte)i; if(sha1_32(buf)==178195164){break;} }
		for(i=-24;i<-8;i++){ buf[370]=(byte)i; if(sha1_32(buf)==847646125){break;} }
		for(i=-2;i<18;i++){ buf[371]=(byte)i; if(sha1_32(buf)==-1052597248){break;} }
		for(i=-36;i<-26;i++){ buf[372]=(byte)i; if(sha1_32(buf)==-1775509986){break;} }
		for(i=68;i<86;i++){ buf[373]=(byte)i; if(sha1_32(buf)==-224693836){break;} }
		for(i=21;i<32;i++){ buf[374]=(byte)i; if(sha1_32(buf)==-971427114){break;} }
		for(i=-64;i<-51;i++){ buf[375]=(byte)i; if(sha1_32(buf)==-1429750368){break;} }
		for(i=4;i<24;i++){ buf[376]=(byte)i; if(sha1_32(buf)==-368195049){break;} }
		for(i=79;i<104;i++){ buf[377]=(byte)i; if(sha1_32(buf)==-1566388097){break;} }
		for(i=47;i<56;i++){ buf[378]=(byte)i; if(sha1_32(buf)==-1755439677){break;} }
		for(i=-24;i<-12;i++){ buf[379]=(byte)i; if(sha1_32(buf)==1509708294){break;} }
		for(i=57;i<69;i++){ buf[380]=(byte)i; if(sha1_32(buf)==372146701){break;} }
		for(i=-68;i<-52;i++){ buf[381]=(byte)i; if(sha1_32(buf)==371998879){break;} }
		for(i=43;i<55;i++){ buf[382]=(byte)i; if(sha1_32(buf)==934676515){break;} }
		for(i=-104;i<-87;i++){ buf[383]=(byte)i; if(sha1_32(buf)==-1650772748){break;} }
		for(i=-56;i<-26;i++){ buf[384]=(byte)i; if(sha1_32(buf)==388859110){break;} }
		for(i=-30;i<-12;i++){ buf[385]=(byte)i; if(sha1_32(buf)==1661449084){break;} }
		for(i=-73;i<-52;i++){ buf[386]=(byte)i; if(sha1_32(buf)==-9052035){break;} }
		for(i=76;i<99;i++){ buf[387]=(byte)i; if(sha1_32(buf)==-559733044){break;} }
		for(i=28;i<34;i++){ buf[388]=(byte)i; if(sha1_32(buf)==1733172216){break;} }
		for(i=96;i<116;i++){ buf[389]=(byte)i; if(sha1_32(buf)==-1642816368){break;} }
		for(i=-96;i<-83;i++){ buf[390]=(byte)i; if(sha1_32(buf)==-952720829){break;} }
		for(i=5;i<18;i++){ buf[391]=(byte)i; if(sha1_32(buf)==660930460){break;} }
		for(i=-123;i<-101;i++){ buf[392]=(byte)i; if(sha1_32(buf)==-1680503153){break;} }
		for(i=-44;i<-37;i++){ buf[393]=(byte)i; if(sha1_32(buf)==366160615){break;} }
		for(i=-4;i<19;i++){ buf[394]=(byte)i; if(sha1_32(buf)==1933598443){break;} }
		for(i=94;i<110;i++){ buf[395]=(byte)i; if(sha1_32(buf)==1832209491){break;} }
		for(i=7;i<36;i++){ buf[396]=(byte)i; if(sha1_32(buf)==-1600415459){break;} }
		for(i=102;i<116;i++){ buf[397]=(byte)i; if(sha1_32(buf)==-1440410718){break;} }
		for(i=115;i<128;i++){ buf[398]=(byte)i; if(sha1_32(buf)==-2069161744){break;} }
		for(i=-100;i<-76;i++){ buf[399]=(byte)i; if(sha1_32(buf)==-1006748609){break;} }
		for(i=-99;i<-77;i++){ buf[400]=(byte)i; if(sha1_32(buf)==-910764643){break;} }
		for(i=89;i<115;i++){ buf[401]=(byte)i; if(sha1_32(buf)==-951327862){break;} }
		for(i=-9;i<-3;i++){ buf[402]=(byte)i; if(sha1_32(buf)==-294702862){break;} }
		for(i=-117;i<-90;i++){ buf[403]=(byte)i; if(sha1_32(buf)==545813616){break;} }
		for(i=104;i<121;i++){ buf[404]=(byte)i; if(sha1_32(buf)==-1105477131){break;} }
		for(i=116;i<125;i++){ buf[405]=(byte)i; if(sha1_32(buf)==71603550){break;} }
		for(i=81;i<98;i++){ buf[406]=(byte)i; if(sha1_32(buf)==1629117922){break;} }
		for(i=-59;i<-43;i++){ buf[407]=(byte)i; if(sha1_32(buf)==1508007018){break;} }
		for(i=99;i<117;i++){ buf[408]=(byte)i; if(sha1_32(buf)==-1417620925){break;} }
		for(i=-50;i<-31;i++){ buf[409]=(byte)i; if(sha1_32(buf)==1438063687){break;} }
		for(i=-91;i<-72;i++){ buf[410]=(byte)i; if(sha1_32(buf)==-340011073){break;} }
		for(i=-77;i<-49;i++){ buf[411]=(byte)i; if(sha1_32(buf)==78810430){break;} }
		for(i=116;i<124;i++){ buf[412]=(byte)i; if(sha1_32(buf)==-711811799){break;} }
		for(i=22;i<48;i++){ buf[413]=(byte)i; if(sha1_32(buf)==-1040121656){break;} }
		for(i=-95;i<-81;i++){ buf[414]=(byte)i; if(sha1_32(buf)==-1153963052){break;} }
		for(i=-93;i<-78;i++){ buf[415]=(byte)i; if(sha1_32(buf)==-1127751329){break;} }
		for(i=60;i<74;i++){ buf[416]=(byte)i; if(sha1_32(buf)==155172034){break;} }
		for(i=49;i<59;i++){ buf[417]=(byte)i; if(sha1_32(buf)==-1247716674){break;} }
		for(i=-37;i<-11;i++){ buf[418]=(byte)i; if(sha1_32(buf)==-1483740141){break;} }
		for(i=108;i<128;i++){ buf[419]=(byte)i; if(sha1_32(buf)==-2021050060){break;} }
		for(i=-33;i<-19;i++){ buf[420]=(byte)i; if(sha1_32(buf)==-873059300){break;} }
		for(i=71;i<91;i++){ buf[421]=(byte)i; if(sha1_32(buf)==-536739859){break;} }
		for(i=125;i<128;i++){ buf[422]=(byte)i; if(sha1_32(buf)==-1844698322){break;} }
		for(i=61;i<83;i++){ buf[423]=(byte)i; if(sha1_32(buf)==-442862748){break;} }
		for(i=119;i<128;i++){ buf[424]=(byte)i; if(sha1_32(buf)==1553203357){break;} }
		for(i=-88;i<-75;i++){ buf[425]=(byte)i; if(sha1_32(buf)==178743092){break;} }
		for(i=124;i<128;i++){ buf[426]=(byte)i; if(sha1_32(buf)==511263723){break;} }
		for(i=63;i<78;i++){ buf[427]=(byte)i; if(sha1_32(buf)==1767250397){break;} }
		for(i=83;i<98;i++){ buf[428]=(byte)i; if(sha1_32(buf)==1542756869){break;} }
		for(i=-89;i<-81;i++){ buf[429]=(byte)i; if(sha1_32(buf)==-448834982){break;} }
		for(i=-97;i<-77;i++){ buf[430]=(byte)i; if(sha1_32(buf)==-771444447){break;} }
		for(i=64;i<84;i++){ buf[431]=(byte)i; if(sha1_32(buf)==1436817980){break;} }
		for(i=-86;i<-67;i++){ buf[432]=(byte)i; if(sha1_32(buf)==288704799){break;} }
		for(i=-79;i<-60;i++){ buf[433]=(byte)i; if(sha1_32(buf)==710102261){break;} }
		for(i=-93;i<-80;i++){ buf[434]=(byte)i; if(sha1_32(buf)==60511825){break;} }
		for(i=42;i<57;i++){ buf[435]=(byte)i; if(sha1_32(buf)==-14945942){break;} }
		for(i=-120;i<-106;i++){ buf[436]=(byte)i; if(sha1_32(buf)==313194215){break;} }
		for(i=-26;i<3;i++){ buf[437]=(byte)i; if(sha1_32(buf)==1643664586){break;} }
		for(i=31;i<47;i++){ buf[438]=(byte)i; if(sha1_32(buf)==1709355679){break;} }
		for(i=-63;i<-42;i++){ buf[439]=(byte)i; if(sha1_32(buf)==-1757540893){break;} }
		for(i=-32;i<-14;i++){ buf[440]=(byte)i; if(sha1_32(buf)==339187092){break;} }
		for(i=-8;i<5;i++){ buf[441]=(byte)i; if(sha1_32(buf)==339187092){break;} }
		for(i=-48;i<-33;i++){ buf[442]=(byte)i; if(sha1_32(buf)==1136840603){break;} }
		for(i=9;i<24;i++){ buf[443]=(byte)i; if(sha1_32(buf)==-1669651378){break;} }
		for(i=94;i<105;i++){ buf[444]=(byte)i; if(sha1_32(buf)==-1382541656){break;} }
		for(i=-64;i<-51;i++){ buf[445]=(byte)i; if(sha1_32(buf)==-1036813334){break;} }
		for(i=93;i<105;i++){ buf[446]=(byte)i; if(sha1_32(buf)==1928830775){break;} }
		for(i=59;i<75;i++){ buf[447]=(byte)i; if(sha1_32(buf)==-783811287){break;} }
		for(i=74;i<80;i++){ buf[448]=(byte)i; if(sha1_32(buf)==1188249108){break;} }
		for(i=73;i<95;i++){ buf[449]=(byte)i; if(sha1_32(buf)==-1015963088){break;} }
		for(i=-24;i<-4;i++){ buf[450]=(byte)i; if(sha1_32(buf)==-1606121182){break;} }
		for(i=103;i<117;i++){ buf[451]=(byte)i; if(sha1_32(buf)==1224518762){break;} }
		for(i=-82;i<-67;i++){ buf[452]=(byte)i; if(sha1_32(buf)==2143127223){break;} }
		for(i=87;i<107;i++){ buf[453]=(byte)i; if(sha1_32(buf)==-479012634){break;} }
		for(i=116;i<121;i++){ buf[454]=(byte)i; if(sha1_32(buf)==-1628087767){break;} }
		for(i=-128;i<-104;i++){ buf[455]=(byte)i; if(sha1_32(buf)==274398084){break;} }
		for(i=-33;i<-15;i++){ buf[456]=(byte)i; if(sha1_32(buf)==-1664794241){break;} }
		for(i=-98;i<-88;i++){ buf[457]=(byte)i; if(sha1_32(buf)==-2046622184){break;} }
		for(i=1;i<13;i++){ buf[458]=(byte)i; if(sha1_32(buf)==962620448){break;} }
		for(i=33;i<55;i++){ buf[459]=(byte)i; if(sha1_32(buf)==-1473333081){break;} }
		for(i=93;i<109;i++){ buf[460]=(byte)i; if(sha1_32(buf)==456727233){break;} }
		for(i=-116;i<-94;i++){ buf[461]=(byte)i; if(sha1_32(buf)==830765937){break;} }
		for(i=25;i<36;i++){ buf[462]=(byte)i; if(sha1_32(buf)==1977516259){break;} }
		for(i=-12;i<-7;i++){ buf[463]=(byte)i; if(sha1_32(buf)==-1981745640){break;} }
		for(i=-74;i<-59;i++){ buf[464]=(byte)i; if(sha1_32(buf)==-1229245180){break;} }
		for(i=-12;i<1;i++){ buf[465]=(byte)i; if(sha1_32(buf)==1407152089){break;} }
		for(i=-15;i<8;i++){ buf[466]=(byte)i; if(sha1_32(buf)==-1158376765){break;} }
		for(i=-17;i<-7;i++){ buf[467]=(byte)i; if(sha1_32(buf)==232845687){break;} }
		for(i=103;i<107;i++){ buf[468]=(byte)i; if(sha1_32(buf)==-1869860772){break;} }
		for(i=0;i<12;i++){ buf[469]=(byte)i; if(sha1_32(buf)==-1621645296){break;} }
		for(i=-82;i<-67;i++){ buf[470]=(byte)i; if(sha1_32(buf)==385643404){break;} }
		for(i=81;i<99;i++){ buf[471]=(byte)i; if(sha1_32(buf)==-1594576469){break;} }
		for(i=-48;i<-32;i++){ buf[472]=(byte)i; if(sha1_32(buf)==1041682105){break;} }
		for(i=-84;i<-60;i++){ buf[473]=(byte)i; if(sha1_32(buf)==1458460057){break;} }
		for(i=-61;i<-44;i++){ buf[474]=(byte)i; if(sha1_32(buf)==405428474){break;} }
		for(i=-114;i<-111;i++){ buf[475]=(byte)i; if(sha1_32(buf)==514966966){break;} }
		for(i=-49;i<-21;i++){ buf[476]=(byte)i; if(sha1_32(buf)==1603137045){break;} }
		for(i=22;i<32;i++){ buf[477]=(byte)i; if(sha1_32(buf)==1191419444){break;} }
		for(i=-61;i<-44;i++){ buf[478]=(byte)i; if(sha1_32(buf)==-706129325){break;} }
		for(i=-74;i<-57;i++){ buf[479]=(byte)i; if(sha1_32(buf)==1630160211){break;} }
		for(i=-9;i<12;i++){ buf[480]=(byte)i; if(sha1_32(buf)==1417253926){break;} }
		for(i=36;i<60;i++){ buf[481]=(byte)i; if(sha1_32(buf)==-184420166){break;} }
		for(i=73;i<89;i++){ buf[482]=(byte)i; if(sha1_32(buf)==641620215){break;} }
		for(i=-35;i<-18;i++){ buf[483]=(byte)i; if(sha1_32(buf)==-1720445578){break;} }
		for(i=-64;i<-50;i++){ buf[484]=(byte)i; if(sha1_32(buf)==-2082257341){break;} }
		for(i=-76;i<-59;i++){ buf[485]=(byte)i; if(sha1_32(buf)==1312558330){break;} }
		for(i=91;i<99;i++){ buf[486]=(byte)i; if(sha1_32(buf)==-712160698){break;} }
		for(i=-46;i<-32;i++){ buf[487]=(byte)i; if(sha1_32(buf)==702794370){break;} }
		for(i=24;i<44;i++){ buf[488]=(byte)i; if(sha1_32(buf)==252566648){break;} }
		for(i=86;i<104;i++){ buf[489]=(byte)i; if(sha1_32(buf)==-1657240152){break;} }
		for(i=-84;i<-65;i++){ buf[490]=(byte)i; if(sha1_32(buf)==2025543070){break;} }
		for(i=-67;i<-48;i++){ buf[491]=(byte)i; if(sha1_32(buf)==-1442742349){break;} }
		for(i=-127;i<-110;i++){ buf[492]=(byte)i; if(sha1_32(buf)==-383067217){break;} }
		for(i=22;i<40;i++){ buf[493]=(byte)i; if(sha1_32(buf)==-853636292){break;} }
		for(i=-61;i<-40;i++){ buf[494]=(byte)i; if(sha1_32(buf)==777285729){break;} }
		for(i=-55;i<-39;i++){ buf[495]=(byte)i; if(sha1_32(buf)==598289137){break;} }
		for(i=-94;i<-71;i++){ buf[496]=(byte)i; if(sha1_32(buf)==-1223792745){break;} }
		for(i=97;i<112;i++){ buf[497]=(byte)i; if(sha1_32(buf)==-1643657387){break;} }
		for(i=-125;i<-109;i++){ buf[498]=(byte)i; if(sha1_32(buf)==632900583){break;} }
		for(i=-22;i<-17;i++){ buf[499]=(byte)i; if(sha1_32(buf)==-840130818){break;} }
		for(i=-16;i<-9;i++){ buf[500]=(byte)i; if(sha1_32(buf)==1144349979){break;} }
		for(i=46;i<63;i++){ buf[501]=(byte)i; if(sha1_32(buf)==1307387885){break;} }
		for(i=-128;i<-108;i++){ buf[502]=(byte)i; if(sha1_32(buf)==1535074559){break;} }
		for(i=-50;i<-30;i++){ buf[503]=(byte)i; if(sha1_32(buf)==-764649146){break;} }
		for(i=15;i<39;i++){ buf[504]=(byte)i; if(sha1_32(buf)==193272544){break;} }
		for(i=-105;i<-90;i++){ buf[505]=(byte)i; if(sha1_32(buf)==2036541973){break;} }
		for(i=13;i<22;i++){ buf[506]=(byte)i; if(sha1_32(buf)==1372554403){break;} }
		for(i=-32;i<-23;i++){ buf[507]=(byte)i; if(sha1_32(buf)==1671017543){break;} }
		for(i=-96;i<-77;i++){ buf[508]=(byte)i; if(sha1_32(buf)==-892625541){break;} }
		for(i=-116;i<-99;i++){ buf[509]=(byte)i; if(sha1_32(buf)==-377819076){break;} }
		for(i=31;i<47;i++){ buf[510]=(byte)i; if(sha1_32(buf)==1461735181){break;} }
		for(i=-71;i<-47;i++){ buf[511]=(byte)i; if(sha1_32(buf)==-764841126){break;} }
		for(i=0;i<16;i++){ buf[512]=(byte)i; if(sha1_32(buf)==-1562320773){break;} }
		for(i=36;i<47;i++){ buf[513]=(byte)i; if(sha1_32(buf)==-1140968653){break;} }
		for(i=-69;i<-54;i++){ buf[514]=(byte)i; if(sha1_32(buf)==763311541){break;} }
		for(i=-11;i<1;i++){ buf[515]=(byte)i; if(sha1_32(buf)==653028331){break;} }
		for(i=-12;i<13;i++){ buf[516]=(byte)i; if(sha1_32(buf)==653028331){break;} }
		for(i=104;i<125;i++){ buf[517]=(byte)i; if(sha1_32(buf)==300952350){break;} }
		for(i=-33;i<-13;i++){ buf[518]=(byte)i; if(sha1_32(buf)==-1202002631){break;} }
		for(i=27;i<47;i++){ buf[519]=(byte)i; if(sha1_32(buf)==1954179157){break;} }
		for(i=97;i<109;i++){ buf[520]=(byte)i; if(sha1_32(buf)==-1902460484){break;} }
		for(i=77;i<106;i++){ buf[521]=(byte)i; if(sha1_32(buf)==-873796173){break;} }
		for(i=70;i<84;i++){ buf[522]=(byte)i; if(sha1_32(buf)==866735530){break;} }
		for(i=106;i<128;i++){ buf[523]=(byte)i; if(sha1_32(buf)==-222986891){break;} }
		for(i=30;i<47;i++){ buf[524]=(byte)i; if(sha1_32(buf)==820940025){break;} }
		for(i=81;i<90;i++){ buf[525]=(byte)i; if(sha1_32(buf)==-69002641){break;} }
		for(i=29;i<49;i++){ buf[526]=(byte)i; if(sha1_32(buf)==-434442855){break;} }
		for(i=-59;i<-43;i++){ buf[527]=(byte)i; if(sha1_32(buf)==587615277){break;} }
		for(i=-128;i<-123;i++){ buf[528]=(byte)i; if(sha1_32(buf)==-983694502){break;} }
		for(i=-53;i<-35;i++){ buf[529]=(byte)i; if(sha1_32(buf)==-137009468){break;} }
		for(i=9;i<34;i++){ buf[530]=(byte)i; if(sha1_32(buf)==1720913735){break;} }
		for(i=-10;i<16;i++){ buf[531]=(byte)i; if(sha1_32(buf)==-2142330485){break;} }
		for(i=48;i<57;i++){ buf[532]=(byte)i; if(sha1_32(buf)==-2022078028){break;} }
		for(i=52;i<63;i++){ buf[533]=(byte)i; if(sha1_32(buf)==1397520402){break;} }
		for(i=91;i<109;i++){ buf[534]=(byte)i; if(sha1_32(buf)==-256288602){break;} }
		for(i=-88;i<-59;i++){ buf[535]=(byte)i; if(sha1_32(buf)==227689942){break;} }
		for(i=-74;i<-63;i++){ buf[536]=(byte)i; if(sha1_32(buf)==-714011605){break;} }
		for(i=47;i<64;i++){ buf[537]=(byte)i; if(sha1_32(buf)==516682065){break;} }
		for(i=-27;i<-23;i++){ buf[538]=(byte)i; if(sha1_32(buf)==795938825){break;} }
		for(i=-111;i<-109;i++){ buf[539]=(byte)i; if(sha1_32(buf)==1517761278){break;} }
		for(i=-72;i<-45;i++){ buf[540]=(byte)i; if(sha1_32(buf)==196346542){break;} }
		for(i=87;i<108;i++){ buf[541]=(byte)i; if(sha1_32(buf)==-1972806192){break;} }
		for(i=47;i<65;i++){ buf[542]=(byte)i; if(sha1_32(buf)==1347134434){break;} }
		for(i=-22;i<9;i++){ buf[543]=(byte)i; if(sha1_32(buf)==2062439983){break;} }
		for(i=-42;i<-17;i++){ buf[544]=(byte)i; if(sha1_32(buf)==-986476899){break;} }
		for(i=-111;i<-94;i++){ buf[545]=(byte)i; if(sha1_32(buf)==-1284091609){break;} }
		for(i=5;i<30;i++){ buf[546]=(byte)i; if(sha1_32(buf)==941482051){break;} }
		for(i=67;i<83;i++){ buf[547]=(byte)i; if(sha1_32(buf)==-1832920319){break;} }
		for(i=-31;i<-19;i++){ buf[548]=(byte)i; if(sha1_32(buf)==565097416){break;} }
		for(i=22;i<40;i++){ buf[549]=(byte)i; if(sha1_32(buf)==-1062538909){break;} }
		for(i=11;i<21;i++){ buf[550]=(byte)i; if(sha1_32(buf)==-1953724997){break;} }
		for(i=13;i<27;i++){ buf[551]=(byte)i; if(sha1_32(buf)==552272309){break;} }
		for(i=-24;i<3;i++){ buf[552]=(byte)i; if(sha1_32(buf)==1293698446){break;} }
		for(i=20;i<33;i++){ buf[553]=(byte)i; if(sha1_32(buf)==-96666579){break;} }
		for(i=85;i<113;i++){ buf[554]=(byte)i; if(sha1_32(buf)==-1374662531){break;} }
		for(i=-61;i<-49;i++){ buf[555]=(byte)i; if(sha1_32(buf)==286253807){break;} }
		for(i=5;i<19;i++){ buf[556]=(byte)i; if(sha1_32(buf)==-1788991687){break;} }
		for(i=-3;i<15;i++){ buf[557]=(byte)i; if(sha1_32(buf)==670891669){break;} }
		for(i=-61;i<-39;i++){ buf[558]=(byte)i; if(sha1_32(buf)==-1644776329){break;} }
		for(i=38;i<58;i++){ buf[559]=(byte)i; if(sha1_32(buf)==765032398){break;} }
		for(i=-98;i<-83;i++){ buf[560]=(byte)i; if(sha1_32(buf)==-1894410920){break;} }
		for(i=-23;i<4;i++){ buf[561]=(byte)i; if(sha1_32(buf)==1521619843){break;} }
		for(i=-102;i<-86;i++){ buf[562]=(byte)i; if(sha1_32(buf)==-1627764886){break;} }
		for(i=48;i<54;i++){ buf[563]=(byte)i; if(sha1_32(buf)==-358736118){break;} }
		for(i=-125;i<-94;i++){ buf[564]=(byte)i; if(sha1_32(buf)==1448996339){break;} }
		for(i=-79;i<-57;i++){ buf[565]=(byte)i; if(sha1_32(buf)==-874901305){break;} }
		for(i=-84;i<-71;i++){ buf[566]=(byte)i; if(sha1_32(buf)==1579538239){break;} }
		for(i=-35;i<-5;i++){ buf[567]=(byte)i; if(sha1_32(buf)==1254726580){break;} }
		for(i=40;i<54;i++){ buf[568]=(byte)i; if(sha1_32(buf)==-364490168){break;} }
		for(i=55;i<77;i++){ buf[569]=(byte)i; if(sha1_32(buf)==27795953){break;} }
		for(i=-50;i<-45;i++){ buf[570]=(byte)i; if(sha1_32(buf)==-2102160415){break;} }
		for(i=-55;i<-27;i++){ buf[571]=(byte)i; if(sha1_32(buf)==-181324404){break;} }
		for(i=6;i<33;i++){ buf[572]=(byte)i; if(sha1_32(buf)==-1063698591){break;} }
		for(i=63;i<80;i++){ buf[573]=(byte)i; if(sha1_32(buf)==-1520045827){break;} }
		for(i=-62;i<-37;i++){ buf[574]=(byte)i; if(sha1_32(buf)==1676208503){break;} }
		for(i=13;i<35;i++){ buf[575]=(byte)i; if(sha1_32(buf)==-1179927200){break;} }
		for(i=118;i<128;i++){ buf[576]=(byte)i; if(sha1_32(buf)==1988225349){break;} }
		for(i=-12;i<3;i++){ buf[577]=(byte)i; if(sha1_32(buf)==2121840569){break;} }
		for(i=96;i<115;i++){ buf[578]=(byte)i; if(sha1_32(buf)==-255243949){break;} }
		for(i=109;i<128;i++){ buf[579]=(byte)i; if(sha1_32(buf)==264428452){break;} }
		for(i=86;i<88;i++){ buf[580]=(byte)i; if(sha1_32(buf)==1527631429){break;} }
		for(i=-5;i<7;i++){ buf[581]=(byte)i; if(sha1_32(buf)==-1715912971){break;} }
		for(i=80;i<86;i++){ buf[582]=(byte)i; if(sha1_32(buf)==-532332879){break;} }
		for(i=117;i<128;i++){ buf[583]=(byte)i; if(sha1_32(buf)==-1961520962){break;} }
		for(i=-22;i<-9;i++){ buf[584]=(byte)i; if(sha1_32(buf)==2039056191){break;} }
		for(i=-108;i<-87;i++){ buf[585]=(byte)i; if(sha1_32(buf)==-695057232){break;} }
		for(i=-9;i<14;i++){ buf[586]=(byte)i; if(sha1_32(buf)==-861581778){break;} }
		for(i=-73;i<-57;i++){ buf[587]=(byte)i; if(sha1_32(buf)==1236756159){break;} }
		for(i=-85;i<-74;i++){ buf[588]=(byte)i; if(sha1_32(buf)==-1304898775){break;} }
		for(i=11;i<30;i++){ buf[589]=(byte)i; if(sha1_32(buf)==77349539){break;} }
		for(i=102;i<127;i++){ buf[590]=(byte)i; if(sha1_32(buf)==811212306){break;} }
		for(i=103;i<126;i++){ buf[591]=(byte)i; if(sha1_32(buf)==1003134044){break;} }
		for(i=63;i<65;i++){ buf[592]=(byte)i; if(sha1_32(buf)==1307056403){break;} }
		for(i=105;i<117;i++){ buf[593]=(byte)i; if(sha1_32(buf)==-987768978){break;} }
		for(i=-54;i<-27;i++){ buf[594]=(byte)i; if(sha1_32(buf)==857271117){break;} }
		for(i=5;i<18;i++){ buf[595]=(byte)i; if(sha1_32(buf)==471311673){break;} }
		for(i=81;i<98;i++){ buf[596]=(byte)i; if(sha1_32(buf)==1217618738){break;} }
		for(i=-24;i<-12;i++){ buf[597]=(byte)i; if(sha1_32(buf)==-954300374){break;} }
		for(i=-110;i<-99;i++){ buf[598]=(byte)i; if(sha1_32(buf)==-1719247633){break;} }
		for(i=-20;i<-5;i++){ buf[599]=(byte)i; if(sha1_32(buf)==-782517078){break;} }
		for(i=-67;i<-57;i++){ buf[600]=(byte)i; if(sha1_32(buf)==946342513){break;} }
		for(i=-9;i<1;i++){ buf[601]=(byte)i; if(sha1_32(buf)==1922755614){break;} }
		for(i=24;i<36;i++){ buf[602]=(byte)i; if(sha1_32(buf)==580075592){break;} }
		for(i=77;i<107;i++){ buf[603]=(byte)i; if(sha1_32(buf)==885045101){break;} }
		for(i=-93;i<-84;i++){ buf[604]=(byte)i; if(sha1_32(buf)==1717186366){break;} }
		for(i=111;i<128;i++){ buf[605]=(byte)i; if(sha1_32(buf)==-199316874){break;} }
		for(i=89;i<103;i++){ buf[606]=(byte)i; if(sha1_32(buf)==1580446052){break;} }
		for(i=39;i<58;i++){ buf[607]=(byte)i; if(sha1_32(buf)==-2059818851){break;} }
		for(i=39;i<59;i++){ buf[608]=(byte)i; if(sha1_32(buf)==1542133745){break;} }
		for(i=32;i<41;i++){ buf[609]=(byte)i; if(sha1_32(buf)==407275009){break;} }
		for(i=119;i<123;i++){ buf[610]=(byte)i; if(sha1_32(buf)==-2070103687){break;} }
		for(i=2;i<13;i++){ buf[611]=(byte)i; if(sha1_32(buf)==1684636710){break;} }
		for(i=-104;i<-85;i++){ buf[612]=(byte)i; if(sha1_32(buf)==-1797287843){break;} }
		for(i=-109;i<-106;i++){ buf[613]=(byte)i; if(sha1_32(buf)==-798703832){break;} }
		for(i=-111;i<-107;i++){ buf[614]=(byte)i; if(sha1_32(buf)==-1533731218){break;} }
		for(i=3;i<8;i++){ buf[615]=(byte)i; if(sha1_32(buf)==-1061697137){break;} }
		for(i=-68;i<-57;i++){ buf[616]=(byte)i; if(sha1_32(buf)==2001541978){break;} }
		for(i=-83;i<-69;i++){ buf[617]=(byte)i; if(sha1_32(buf)==-1969308494){break;} }
		for(i=-74;i<-72;i++){ buf[618]=(byte)i; if(sha1_32(buf)==1958261155){break;} }
		for(i=-36;i<-29;i++){ buf[619]=(byte)i; if(sha1_32(buf)==-295506330){break;} }
		for(i=109;i<114;i++){ buf[620]=(byte)i; if(sha1_32(buf)==-2014661106){break;} }
		for(i=-99;i<-76;i++){ buf[621]=(byte)i; if(sha1_32(buf)==-804184217){break;} }
		for(i=-35;i<-20;i++){ buf[622]=(byte)i; if(sha1_32(buf)==754985901){break;} }
		for(i=-117;i<-95;i++){ buf[623]=(byte)i; if(sha1_32(buf)==1764418188){break;} }
		for(i=-43;i<-19;i++){ buf[624]=(byte)i; if(sha1_32(buf)==1766337477){break;} }
		for(i=-117;i<-107;i++){ buf[625]=(byte)i; if(sha1_32(buf)==1137488185){break;} }
		for(i=-62;i<-39;i++){ buf[626]=(byte)i; if(sha1_32(buf)==-294417417){break;} }
		for(i=82;i<93;i++){ buf[627]=(byte)i; if(sha1_32(buf)==-891253212){break;} }
		for(i=-85;i<-72;i++){ buf[628]=(byte)i; if(sha1_32(buf)==1401663650){break;} }
		for(i=77;i<93;i++){ buf[629]=(byte)i; if(sha1_32(buf)==-1537299592){break;} }
		for(i=112;i<125;i++){ buf[630]=(byte)i; if(sha1_32(buf)==-738293426){break;} }
		for(i=86;i<113;i++){ buf[631]=(byte)i; if(sha1_32(buf)==338156792){break;} }
		for(i=-42;i<-17;i++){ buf[632]=(byte)i; if(sha1_32(buf)==-185038188){break;} }
		for(i=14;i<38;i++){ buf[633]=(byte)i; if(sha1_32(buf)==1990465124){break;} }
		for(i=12;i<16;i++){ buf[634]=(byte)i; if(sha1_32(buf)==-1852911898){break;} }
		for(i=73;i<93;i++){ buf[635]=(byte)i; if(sha1_32(buf)==1044676721){break;} }
		for(i=73;i<84;i++){ buf[636]=(byte)i; if(sha1_32(buf)==-434819026){break;} }
		for(i=5;i<12;i++){ buf[637]=(byte)i; if(sha1_32(buf)==-1535049481){break;} }
		for(i=98;i<125;i++){ buf[638]=(byte)i; if(sha1_32(buf)==1438453912){break;} }
		for(i=-22;i<-7;i++){ buf[639]=(byte)i; if(sha1_32(buf)==-2093511688){break;} }
		for(i=52;i<82;i++){ buf[640]=(byte)i; if(sha1_32(buf)==547675450){break;} }
		for(i=-58;i<-44;i++){ buf[641]=(byte)i; if(sha1_32(buf)==16049978){break;} }
		for(i=-113;i<-95;i++){ buf[642]=(byte)i; if(sha1_32(buf)==842853938){break;} }
		for(i=-117;i<-96;i++){ buf[643]=(byte)i; if(sha1_32(buf)==-1679185663){break;} }
		for(i=-87;i<-75;i++){ buf[644]=(byte)i; if(sha1_32(buf)==1901823825){break;} }
		for(i=26;i<38;i++){ buf[645]=(byte)i; if(sha1_32(buf)==-160259114){break;} }
		for(i=111;i<128;i++){ buf[646]=(byte)i; if(sha1_32(buf)==-641187050){break;} }
		for(i=-92;i<-72;i++){ buf[647]=(byte)i; if(sha1_32(buf)==2058870442){break;} }
		for(i=-37;i<-31;i++){ buf[648]=(byte)i; if(sha1_32(buf)==-724358660){break;} }
		for(i=113;i<124;i++){ buf[649]=(byte)i; if(sha1_32(buf)==-1450211441){break;} }
		for(i=-4;i<18;i++){ buf[650]=(byte)i; if(sha1_32(buf)==606307124){break;} }
		for(i=-128;i<-114;i++){ buf[651]=(byte)i; if(sha1_32(buf)==1891320102){break;} }
		for(i=36;i<59;i++){ buf[652]=(byte)i; if(sha1_32(buf)==607933198){break;} }
		for(i=-12;i<3;i++){ buf[653]=(byte)i; if(sha1_32(buf)==973071777){break;} }
		for(i=-25;i<-3;i++){ buf[654]=(byte)i; if(sha1_32(buf)==2037049021){break;} }
		for(i=68;i<83;i++){ buf[655]=(byte)i; if(sha1_32(buf)==-12283834){break;} }
		for(i=107;i<119;i++){ buf[656]=(byte)i; if(sha1_32(buf)==821696282){break;} }
		for(i=107;i<128;i++){ buf[657]=(byte)i; if(sha1_32(buf)==281231918){break;} }
		for(i=64;i<93;i++){ buf[658]=(byte)i; if(sha1_32(buf)==-1350762585){break;} }
		for(i=-26;i<-6;i++){ buf[659]=(byte)i; if(sha1_32(buf)==-227726908){break;} }
		for(i=50;i<68;i++){ buf[660]=(byte)i; if(sha1_32(buf)==440123042){break;} }
		for(i=36;i<60;i++){ buf[661]=(byte)i; if(sha1_32(buf)==1284910594){break;} }
		for(i=89;i<100;i++){ buf[662]=(byte)i; if(sha1_32(buf)==490564258){break;} }
		for(i=1;i<18;i++){ buf[663]=(byte)i; if(sha1_32(buf)==1074054830){break;} }
		for(i=-128;i<-112;i++){ buf[664]=(byte)i; if(sha1_32(buf)==1589044005){break;} }
		for(i=-125;i<-120;i++){ buf[665]=(byte)i; if(sha1_32(buf)==1632567786){break;} }
		for(i=94;i<107;i++){ buf[666]=(byte)i; if(sha1_32(buf)==-575467396){break;} }
		for(i=39;i<45;i++){ buf[667]=(byte)i; if(sha1_32(buf)==1919109181){break;} }
		for(i=35;i<48;i++){ buf[668]=(byte)i; if(sha1_32(buf)==-1742141427){break;} }
		for(i=-128;i<-119;i++){ buf[669]=(byte)i; if(sha1_32(buf)==882593618){break;} }
		for(i=-25;i<-13;i++){ buf[670]=(byte)i; if(sha1_32(buf)==1591044562){break;} }
		for(i=-90;i<-73;i++){ buf[671]=(byte)i; if(sha1_32(buf)==-2301328){break;} }
		for(i=-97;i<-93;i++){ buf[672]=(byte)i; if(sha1_32(buf)==-1304775219){break;} }
		for(i=-74;i<-58;i++){ buf[673]=(byte)i; if(sha1_32(buf)==3163812){break;} }
		for(i=21;i<46;i++){ buf[674]=(byte)i; if(sha1_32(buf)==-1302028515){break;} }
		for(i=-62;i<-45;i++){ buf[675]=(byte)i; if(sha1_32(buf)==1634734658){break;} }
		for(i=44;i<57;i++){ buf[676]=(byte)i; if(sha1_32(buf)==937417962){break;} }
		for(i=-6;i<9;i++){ buf[677]=(byte)i; if(sha1_32(buf)==921588456){break;} }
		for(i=-50;i<-34;i++){ buf[678]=(byte)i; if(sha1_32(buf)==2105401698){break;} }
		for(i=-43;i<-19;i++){ buf[679]=(byte)i; if(sha1_32(buf)==-492981133){break;} }
		for(i=97;i<114;i++){ buf[680]=(byte)i; if(sha1_32(buf)==1545260102){break;} }
		for(i=36;i<52;i++){ buf[681]=(byte)i; if(sha1_32(buf)==-1551565748){break;} }
		for(i=48;i<63;i++){ buf[682]=(byte)i; if(sha1_32(buf)==-11610852){break;} }
		for(i=65;i<82;i++){ buf[683]=(byte)i; if(sha1_32(buf)==-1217898710){break;} }
		for(i=-14;i<5;i++){ buf[684]=(byte)i; if(sha1_32(buf)==-1109574933){break;} }
		for(i=-92;i<-73;i++){ buf[685]=(byte)i; if(sha1_32(buf)==509375476){break;} }
		for(i=-11;i<2;i++){ buf[686]=(byte)i; if(sha1_32(buf)==472052526){break;} }
		for(i=-88;i<-80;i++){ buf[687]=(byte)i; if(sha1_32(buf)==262103095){break;} }
		for(i=31;i<39;i++){ buf[688]=(byte)i; if(sha1_32(buf)==-1561521321){break;} }
		for(i=-128;i<-111;i++){ buf[689]=(byte)i; if(sha1_32(buf)==1210598967){break;} }
		for(i=-30;i<0;i++){ buf[690]=(byte)i; if(sha1_32(buf)==-1257238957){break;} }
		for(i=101;i<106;i++){ buf[691]=(byte)i; if(sha1_32(buf)==1457470986){break;} }
		for(i=43;i<49;i++){ buf[692]=(byte)i; if(sha1_32(buf)==-1563568652){break;} }
		for(i=79;i<91;i++){ buf[693]=(byte)i; if(sha1_32(buf)==1721180182){break;} }
		for(i=12;i<28;i++){ buf[694]=(byte)i; if(sha1_32(buf)==-759509184){break;} }
		for(i=44;i<46;i++){ buf[695]=(byte)i; if(sha1_32(buf)==508619917){break;} }
		for(i=89;i<101;i++){ buf[696]=(byte)i; if(sha1_32(buf)==1217695775){break;} }
		for(i=-66;i<-56;i++){ buf[697]=(byte)i; if(sha1_32(buf)==1698601378){break;} }
		for(i=-7;i<12;i++){ buf[698]=(byte)i; if(sha1_32(buf)==695208707){break;} }
		for(i=-66;i<-44;i++){ buf[699]=(byte)i; if(sha1_32(buf)==-1469297287){break;} }
		for(i=104;i<107;i++){ buf[700]=(byte)i; if(sha1_32(buf)==-628253361){break;} }
		for(i=-84;i<-64;i++){ buf[701]=(byte)i; if(sha1_32(buf)==356153526){break;} }
		for(i=-126;i<-104;i++){ buf[702]=(byte)i; if(sha1_32(buf)==-1509092799){break;} }
		for(i=-89;i<-79;i++){ buf[703]=(byte)i; if(sha1_32(buf)==1749292615){break;} }
		for(i=61;i<83;i++){ buf[704]=(byte)i; if(sha1_32(buf)==662160462){break;} }
		for(i=5;i<32;i++){ buf[705]=(byte)i; if(sha1_32(buf)==-575070812){break;} }
		for(i=33;i<41;i++){ buf[706]=(byte)i; if(sha1_32(buf)==-655381790){break;} }
		for(i=82;i<104;i++){ buf[707]=(byte)i; if(sha1_32(buf)==1739716607){break;} }
		for(i=-4;i<4;i++){ buf[708]=(byte)i; if(sha1_32(buf)==1739716607){break;} }
		for(i=-119;i<-92;i++){ buf[709]=(byte)i; if(sha1_32(buf)==1894352497){break;} }
		for(i=68;i<92;i++){ buf[710]=(byte)i; if(sha1_32(buf)==1663484480){break;} }
		for(i=-90;i<-77;i++){ buf[711]=(byte)i; if(sha1_32(buf)==428903840){break;} }
		for(i=12;i<18;i++){ buf[712]=(byte)i; if(sha1_32(buf)==-2009757893){break;} }
		for(i=-108;i<-90;i++){ buf[713]=(byte)i; if(sha1_32(buf)==-1325911953){break;} }
		for(i=68;i<85;i++){ buf[714]=(byte)i; if(sha1_32(buf)==714463125){break;} }
		for(i=-70;i<-62;i++){ buf[715]=(byte)i; if(sha1_32(buf)==-1355023469){break;} }
		for(i=-36;i<-19;i++){ buf[716]=(byte)i; if(sha1_32(buf)==-2043387232){break;} }
		for(i=34;i<53;i++){ buf[717]=(byte)i; if(sha1_32(buf)==866224050){break;} }
		for(i=50;i<67;i++){ buf[718]=(byte)i; if(sha1_32(buf)==214636982){break;} }
		for(i=-53;i<-26;i++){ buf[719]=(byte)i; if(sha1_32(buf)==-1322982713){break;} }
		for(i=71;i<94;i++){ buf[720]=(byte)i; if(sha1_32(buf)==-1372809089){break;} }
		for(i=101;i<122;i++){ buf[721]=(byte)i; if(sha1_32(buf)==1104792793){break;} }
		for(i=-11;i<-3;i++){ buf[722]=(byte)i; if(sha1_32(buf)==-1129623758){break;} }
		for(i=-105;i<-84;i++){ buf[723]=(byte)i; if(sha1_32(buf)==224555402){break;} }
		for(i=117;i<128;i++){ buf[724]=(byte)i; if(sha1_32(buf)==-1632331){break;} }
		for(i=-58;i<-39;i++){ buf[725]=(byte)i; if(sha1_32(buf)==1606190006){break;} }
		for(i=46;i<62;i++){ buf[726]=(byte)i; if(sha1_32(buf)==-871898279){break;} }
		for(i=-78;i<-60;i++){ buf[727]=(byte)i; if(sha1_32(buf)==1446481489){break;} }
		for(i=17;i<36;i++){ buf[728]=(byte)i; if(sha1_32(buf)==-655325419){break;} }
		for(i=41;i<59;i++){ buf[729]=(byte)i; if(sha1_32(buf)==-1041138699){break;} }
		for(i=32;i<55;i++){ buf[730]=(byte)i; if(sha1_32(buf)==-1298084412){break;} }
		for(i=-27;i<-20;i++){ buf[731]=(byte)i; if(sha1_32(buf)==1147319981){break;} }
		for(i=-126;i<-106;i++){ buf[732]=(byte)i; if(sha1_32(buf)==-1428491171){break;} }
		for(i=-24;i<-3;i++){ buf[733]=(byte)i; if(sha1_32(buf)==-771632817){break;} }
		for(i=-124;i<-114;i++){ buf[734]=(byte)i; if(sha1_32(buf)==501284183){break;} }
		for(i=-98;i<-77;i++){ buf[735]=(byte)i; if(sha1_32(buf)==1212803450){break;} }
		for(i=31;i<50;i++){ buf[736]=(byte)i; if(sha1_32(buf)==797028325){break;} }
		for(i=56;i<80;i++){ buf[737]=(byte)i; if(sha1_32(buf)==2071821531){break;} }
		for(i=88;i<99;i++){ buf[738]=(byte)i; if(sha1_32(buf)==1738256927){break;} }
		for(i=-109;i<-104;i++){ buf[739]=(byte)i; if(sha1_32(buf)==-1353952655){break;} }
		for(i=-43;i<-22;i++){ buf[740]=(byte)i; if(sha1_32(buf)==-1484671206){break;} }
		for(i=86;i<93;i++){ buf[741]=(byte)i; if(sha1_32(buf)==-518589495){break;} }
		for(i=39;i<44;i++){ buf[742]=(byte)i; if(sha1_32(buf)==-1795503139){break;} }
		for(i=50;i<65;i++){ buf[743]=(byte)i; if(sha1_32(buf)==236188484){break;} }
		for(i=1;i<14;i++){ buf[744]=(byte)i; if(sha1_32(buf)==1892132322){break;} }
		for(i=-28;i<-13;i++){ buf[745]=(byte)i; if(sha1_32(buf)==-2127518787){break;} }
		for(i=-8;i<2;i++){ buf[746]=(byte)i; if(sha1_32(buf)==1625399880){break;} }
		for(i=-59;i<-38;i++){ buf[747]=(byte)i; if(sha1_32(buf)==151721450){break;} }
		for(i=2;i<19;i++){ buf[748]=(byte)i; if(sha1_32(buf)==473694427){break;} }
		for(i=65;i<74;i++){ buf[749]=(byte)i; if(sha1_32(buf)==-1627211368){break;} }
		for(i=13;i<40;i++){ buf[750]=(byte)i; if(sha1_32(buf)==940661061){break;} }
		for(i=-2;i<14;i++){ buf[751]=(byte)i; if(sha1_32(buf)==722308482){break;} }
		for(i=-123;i<-110;i++){ buf[752]=(byte)i; if(sha1_32(buf)==-1242623487){break;} }
		for(i=-119;i<-101;i++){ buf[753]=(byte)i; if(sha1_32(buf)==1157322145){break;} }
		for(i=12;i<35;i++){ buf[754]=(byte)i; if(sha1_32(buf)==1014876280){break;} }
		for(i=22;i<28;i++){ buf[755]=(byte)i; if(sha1_32(buf)==-1799741893){break;} }
		for(i=-9;i<7;i++){ buf[756]=(byte)i; if(sha1_32(buf)==-1799741893){break;} }
		for(i=111;i<122;i++){ buf[757]=(byte)i; if(sha1_32(buf)==-21833628){break;} }
		for(i=-128;i<-108;i++){ buf[758]=(byte)i; if(sha1_32(buf)==-1244961892){break;} }
		for(i=-5;i<15;i++){ buf[759]=(byte)i; if(sha1_32(buf)==636204101){break;} }
		for(i=112;i<119;i++){ buf[760]=(byte)i; if(sha1_32(buf)==1610664617){break;} }
		for(i=90;i<107;i++){ buf[761]=(byte)i; if(sha1_32(buf)==77542910){break;} }
		for(i=-79;i<-63;i++){ buf[762]=(byte)i; if(sha1_32(buf)==-1229147868){break;} }
		for(i=25;i<34;i++){ buf[763]=(byte)i; if(sha1_32(buf)==550401240){break;} }
		for(i=116;i<127;i++){ buf[764]=(byte)i; if(sha1_32(buf)==59245368){break;} }
		for(i=-28;i<-12;i++){ buf[765]=(byte)i; if(sha1_32(buf)==-482908964){break;} }
		for(i=-58;i<-38;i++){ buf[766]=(byte)i; if(sha1_32(buf)==-902931520){break;} }
		for(i=-4;i<6;i++){ buf[767]=(byte)i; if(sha1_32(buf)==-902931520){break;} }
		for(i=-48;i<-34;i++){ buf[768]=(byte)i; if(sha1_32(buf)==932720278){break;} }
		for(i=-63;i<-40;i++){ buf[769]=(byte)i; if(sha1_32(buf)==-1875806383){break;} }
		for(i=22;i<42;i++){ buf[770]=(byte)i; if(sha1_32(buf)==1368891564){break;} }
		for(i=-8;i<14;i++){ buf[771]=(byte)i; if(sha1_32(buf)==-835425451){break;} }
		for(i=-87;i<-73;i++){ buf[772]=(byte)i; if(sha1_32(buf)==473284464){break;} }
		for(i=-6;i<4;i++){ buf[773]=(byte)i; if(sha1_32(buf)==-2137038296){break;} }
		for(i=-82;i<-70;i++){ buf[774]=(byte)i; if(sha1_32(buf)==82620367){break;} }
		for(i=111;i<123;i++){ buf[775]=(byte)i; if(sha1_32(buf)==-1175754850){break;} }
		for(i=59;i<77;i++){ buf[776]=(byte)i; if(sha1_32(buf)==1596429426){break;} }
		for(i=99;i<128;i++){ buf[777]=(byte)i; if(sha1_32(buf)==78955392){break;} }
		for(i=42;i<56;i++){ buf[778]=(byte)i; if(sha1_32(buf)==-1100718580){break;} }
		for(i=66;i<77;i++){ buf[779]=(byte)i; if(sha1_32(buf)==134691432){break;} }
		for(i=12;i<28;i++){ buf[780]=(byte)i; if(sha1_32(buf)==-484699714){break;} }
		for(i=80;i<103;i++){ buf[781]=(byte)i; if(sha1_32(buf)==1343275177){break;} }
		for(i=-64;i<-34;i++){ buf[782]=(byte)i; if(sha1_32(buf)==-1307612531){break;} }
		for(i=-43;i<-20;i++){ buf[783]=(byte)i; if(sha1_32(buf)==-1198631688){break;} }
		for(i=-100;i<-88;i++){ buf[784]=(byte)i; if(sha1_32(buf)==-1367692132){break;} }
		for(i=-128;i<-106;i++){ buf[785]=(byte)i; if(sha1_32(buf)==-2141765445){break;} }
		for(i=70;i<94;i++){ buf[786]=(byte)i; if(sha1_32(buf)==704854506){break;} }
		for(i=111;i<124;i++){ buf[787]=(byte)i; if(sha1_32(buf)==1500184965){break;} }
		for(i=-110;i<-99;i++){ buf[788]=(byte)i; if(sha1_32(buf)==849144632){break;} }
		for(i=52;i<58;i++){ buf[789]=(byte)i; if(sha1_32(buf)==-572808279){break;} }
		for(i=79;i<96;i++){ buf[790]=(byte)i; if(sha1_32(buf)==532029576){break;} }
		for(i=-100;i<-72;i++){ buf[791]=(byte)i; if(sha1_32(buf)==-920447345){break;} }
		for(i=-128;i<-115;i++){ buf[792]=(byte)i; if(sha1_32(buf)==1001155955){break;} }
		for(i=-124;i<-102;i++){ buf[793]=(byte)i; if(sha1_32(buf)==-1065652980){break;} }
		for(i=-22;i<-11;i++){ buf[794]=(byte)i; if(sha1_32(buf)==921616388){break;} }
		for(i=-104;i<-84;i++){ buf[795]=(byte)i; if(sha1_32(buf)==-821081303){break;} }
		for(i=-43;i<-20;i++){ buf[796]=(byte)i; if(sha1_32(buf)==-1969323623){break;} }
		for(i=-80;i<-64;i++){ buf[797]=(byte)i; if(sha1_32(buf)==-1149166975){break;} }
		for(i=-22;i<-3;i++){ buf[798]=(byte)i; if(sha1_32(buf)==1335699534){break;} }
		for(i=104;i<116;i++){ buf[799]=(byte)i; if(sha1_32(buf)==1963420265){break;} }
		for(i=69;i<85;i++){ buf[800]=(byte)i; if(sha1_32(buf)==-467853675){break;} }
		for(i=16;i<28;i++){ buf[801]=(byte)i; if(sha1_32(buf)==2147158294){break;} }
		for(i=112;i<120;i++){ buf[802]=(byte)i; if(sha1_32(buf)==1503975660){break;} }
		for(i=39;i<53;i++){ buf[803]=(byte)i; if(sha1_32(buf)==1050278692){break;} }
		for(i=-7;i<-2;i++){ buf[804]=(byte)i; if(sha1_32(buf)==195190980){break;} }
		for(i=-123;i<-117;i++){ buf[805]=(byte)i; if(sha1_32(buf)==-1098002500){break;} }
		for(i=-100;i<-79;i++){ buf[806]=(byte)i; if(sha1_32(buf)==1328185631){break;} }
		for(i=40;i<55;i++){ buf[807]=(byte)i; if(sha1_32(buf)==1765443429){break;} }
		for(i=-123;i<-107;i++){ buf[808]=(byte)i; if(sha1_32(buf)==1436325294){break;} }
		for(i=-102;i<-88;i++){ buf[809]=(byte)i; if(sha1_32(buf)==1385851257){break;} }
		for(i=5;i<14;i++){ buf[810]=(byte)i; if(sha1_32(buf)==-99491317){break;} }
		for(i=-40;i<-33;i++){ buf[811]=(byte)i; if(sha1_32(buf)==2086670797){break;} }
		for(i=41;i<60;i++){ buf[812]=(byte)i; if(sha1_32(buf)==-65518357){break;} }
		for(i=-59;i<-44;i++){ buf[813]=(byte)i; if(sha1_32(buf)==-1349528542){break;} }
		for(i=-40;i<-20;i++){ buf[814]=(byte)i; if(sha1_32(buf)==-513748822){break;} }
		for(i=74;i<86;i++){ buf[815]=(byte)i; if(sha1_32(buf)==1818154642){break;} }
		for(i=60;i<75;i++){ buf[816]=(byte)i; if(sha1_32(buf)==2040889176){break;} }
		for(i=-75;i<-61;i++){ buf[817]=(byte)i; if(sha1_32(buf)==-675418578){break;} }
		for(i=-128;i<-113;i++){ buf[818]=(byte)i; if(sha1_32(buf)==1798116570){break;} }
		for(i=-121;i<-92;i++){ buf[819]=(byte)i; if(sha1_32(buf)==-639589029){break;} }
		for(i=89;i<109;i++){ buf[820]=(byte)i; if(sha1_32(buf)==2133638886){break;} }
		for(i=-53;i<-34;i++){ buf[821]=(byte)i; if(sha1_32(buf)==732529557){break;} }
		for(i=38;i<49;i++){ buf[822]=(byte)i; if(sha1_32(buf)==805037132){break;} }
		for(i=-90;i<-69;i++){ buf[823]=(byte)i; if(sha1_32(buf)==-761933001){break;} }
		for(i=-54;i<-30;i++){ buf[824]=(byte)i; if(sha1_32(buf)==-1112245679){break;} }
		for(i=57;i<68;i++){ buf[825]=(byte)i; if(sha1_32(buf)==658519127){break;} }
		for(i=-59;i<-38;i++){ buf[826]=(byte)i; if(sha1_32(buf)==-2130895817){break;} }
		for(i=-21;i<1;i++){ buf[827]=(byte)i; if(sha1_32(buf)==-1447136339){break;} }
		for(i=42;i<54;i++){ buf[828]=(byte)i; if(sha1_32(buf)==1872506223){break;} }
		for(i=-17;i<-8;i++){ buf[829]=(byte)i; if(sha1_32(buf)==-1081163505){break;} }
		for(i=-98;i<-76;i++){ buf[830]=(byte)i; if(sha1_32(buf)==1574938160){break;} }
		for(i=39;i<67;i++){ buf[831]=(byte)i; if(sha1_32(buf)==1069168747){break;} }
		for(i=35;i<50;i++){ buf[832]=(byte)i; if(sha1_32(buf)==1631611){break;} }
		for(i=105;i<125;i++){ buf[833]=(byte)i; if(sha1_32(buf)==-1236245871){break;} }
		for(i=75;i<106;i++){ buf[834]=(byte)i; if(sha1_32(buf)==551489172){break;} }
		for(i=-64;i<-39;i++){ buf[835]=(byte)i; if(sha1_32(buf)==2111957427){break;} }
		for(i=41;i<57;i++){ buf[836]=(byte)i; if(sha1_32(buf)==-1816761337){break;} }
		for(i=46;i<62;i++){ buf[837]=(byte)i; if(sha1_32(buf)==1378486734){break;} }
		for(i=-113;i<-100;i++){ buf[838]=(byte)i; if(sha1_32(buf)==-762106043){break;} }
		for(i=-7;i<18;i++){ buf[839]=(byte)i; if(sha1_32(buf)==-1341046336){break;} }
		for(i=-66;i<-58;i++){ buf[840]=(byte)i; if(sha1_32(buf)==274866137){break;} }
		for(i=19;i<29;i++){ buf[841]=(byte)i; if(sha1_32(buf)==-239808897){break;} }
		for(i=1;i<16;i++){ buf[842]=(byte)i; if(sha1_32(buf)==1409495109){break;} }
		for(i=91;i<112;i++){ buf[843]=(byte)i; if(sha1_32(buf)==-1827490562){break;} }
		for(i=-77;i<-57;i++){ buf[844]=(byte)i; if(sha1_32(buf)==1124340976){break;} }
		for(i=-46;i<-18;i++){ buf[845]=(byte)i; if(sha1_32(buf)==-1977525655){break;} }
		for(i=70;i<89;i++){ buf[846]=(byte)i; if(sha1_32(buf)==-164210720){break;} }
		for(i=55;i<82;i++){ buf[847]=(byte)i; if(sha1_32(buf)==-1533551637){break;} }
		for(i=84;i<97;i++){ buf[848]=(byte)i; if(sha1_32(buf)==11032635){break;} }
		for(i=39;i<43;i++){ buf[849]=(byte)i; if(sha1_32(buf)==1190747812){break;} }
		for(i=-74;i<-68;i++){ buf[850]=(byte)i; if(sha1_32(buf)==1422472197){break;} }
		for(i=-24;i<-5;i++){ buf[851]=(byte)i; if(sha1_32(buf)==1149123473){break;} }
		for(i=94;i<116;i++){ buf[852]=(byte)i; if(sha1_32(buf)==-828579858){break;} }
		for(i=107;i<115;i++){ buf[853]=(byte)i; if(sha1_32(buf)==1974783075){break;} }
		for(i=7;i<30;i++){ buf[854]=(byte)i; if(sha1_32(buf)==962556306){break;} }
		for(i=-128;i<-115;i++){ buf[855]=(byte)i; if(sha1_32(buf)==-1746056222){break;} }
		for(i=113;i<128;i++){ buf[856]=(byte)i; if(sha1_32(buf)==736039723){break;} }
		for(i=79;i<96;i++){ buf[857]=(byte)i; if(sha1_32(buf)==348984610){break;} }
		for(i=-4;i<18;i++){ buf[858]=(byte)i; if(sha1_32(buf)==-341376407){break;} }
		for(i=-128;i<-113;i++){ buf[859]=(byte)i; if(sha1_32(buf)==-865267403){break;} }
		for(i=76;i<89;i++){ buf[860]=(byte)i; if(sha1_32(buf)==-1272332066){break;} }
		for(i=-115;i<-104;i++){ buf[861]=(byte)i; if(sha1_32(buf)==664009636){break;} }
		for(i=-11;i<0;i++){ buf[862]=(byte)i; if(sha1_32(buf)==-1143422723){break;} }
		for(i=-14;i<-10;i++){ buf[863]=(byte)i; if(sha1_32(buf)==1429236249){break;} }
		for(i=15;i<16;i++){ buf[864]=(byte)i; if(sha1_32(buf)==-530006975){break;} }
		for(i=52;i<59;i++){ buf[865]=(byte)i; if(sha1_32(buf)==798464384){break;} }
		for(i=110;i<128;i++){ buf[866]=(byte)i; if(sha1_32(buf)==551937025){break;} }
		for(i=63;i<86;i++){ buf[867]=(byte)i; if(sha1_32(buf)==-1681149469){break;} }
		for(i=-115;i<-99;i++){ buf[868]=(byte)i; if(sha1_32(buf)==-716504273){break;} }
		for(i=-26;i<-15;i++){ buf[869]=(byte)i; if(sha1_32(buf)==1527719585){break;} }
		for(i=52;i<60;i++){ buf[870]=(byte)i; if(sha1_32(buf)==-198258472){break;} }
		for(i=-99;i<-80;i++){ buf[871]=(byte)i; if(sha1_32(buf)==1940323780){break;} }
		for(i=77;i<99;i++){ buf[872]=(byte)i; if(sha1_32(buf)==-449968122){break;} }
		for(i=27;i<37;i++){ buf[873]=(byte)i; if(sha1_32(buf)==1980613223){break;} }
		for(i=58;i<76;i++){ buf[874]=(byte)i; if(sha1_32(buf)==1960495366){break;} }
		for(i=80;i<102;i++){ buf[875]=(byte)i; if(sha1_32(buf)==-352063376){break;} }
		for(i=35;i<52;i++){ buf[876]=(byte)i; if(sha1_32(buf)==1603567501){break;} }
		for(i=-98;i<-86;i++){ buf[877]=(byte)i; if(sha1_32(buf)==145869103){break;} }
		for(i=-112;i<-99;i++){ buf[878]=(byte)i; if(sha1_32(buf)==-1274513316){break;} }
		for(i=-30;i<-8;i++){ buf[879]=(byte)i; if(sha1_32(buf)==-1246682235){break;} }
		for(i=-9;i<7;i++){ buf[880]=(byte)i; if(sha1_32(buf)==-1246682235){break;} }
		for(i=-75;i<-55;i++){ buf[881]=(byte)i; if(sha1_32(buf)==2116457207){break;} }
		for(i=9;i<34;i++){ buf[882]=(byte)i; if(sha1_32(buf)==610315692){break;} }
		for(i=-95;i<-83;i++){ buf[883]=(byte)i; if(sha1_32(buf)==1479207527){break;} }
		for(i=118;i<126;i++){ buf[884]=(byte)i; if(sha1_32(buf)==-1251028248){break;} }
		for(i=83;i<108;i++){ buf[885]=(byte)i; if(sha1_32(buf)==888331744){break;} }
		for(i=-33;i<-26;i++){ buf[886]=(byte)i; if(sha1_32(buf)==-37746677){break;} }
		for(i=-34;i<-12;i++){ buf[887]=(byte)i; if(sha1_32(buf)==-387798817){break;} }
		for(i=-110;i<-101;i++){ buf[888]=(byte)i; if(sha1_32(buf)==-1971190476){break;} }
		for(i=-113;i<-109;i++){ buf[889]=(byte)i; if(sha1_32(buf)==1379483611){break;} }
		for(i=113;i<127;i++){ buf[890]=(byte)i; if(sha1_32(buf)==975643634){break;} }
		for(i=56;i<82;i++){ buf[891]=(byte)i; if(sha1_32(buf)==-1487259429){break;} }
		for(i=77;i<92;i++){ buf[892]=(byte)i; if(sha1_32(buf)==1051030591){break;} }
		for(i=40;i<54;i++){ buf[893]=(byte)i; if(sha1_32(buf)==-529753737){break;} }
		for(i=-75;i<-52;i++){ buf[894]=(byte)i; if(sha1_32(buf)==-397497447){break;} }
		for(i=26;i<37;i++){ buf[895]=(byte)i; if(sha1_32(buf)==-728093165){break;} }
		for(i=-24;i<-15;i++){ buf[896]=(byte)i; if(sha1_32(buf)==-1576303691){break;} }
		for(i=81;i<103;i++){ buf[897]=(byte)i; if(sha1_32(buf)==1833784664){break;} }
		for(i=53;i<68;i++){ buf[898]=(byte)i; if(sha1_32(buf)==-18310811){break;} }
		for(i=68;i<85;i++){ buf[899]=(byte)i; if(sha1_32(buf)==718080672){break;} }
		for(i=49;i<67;i++){ buf[900]=(byte)i; if(sha1_32(buf)==1112667348){break;} }
		for(i=5;i<35;i++){ buf[901]=(byte)i; if(sha1_32(buf)==196237482){break;} }
		for(i=-65;i<-48;i++){ buf[902]=(byte)i; if(sha1_32(buf)==190063696){break;} }
		for(i=-32;i<-8;i++){ buf[903]=(byte)i; if(sha1_32(buf)==-1520627057){break;} }
		for(i=7;i<25;i++){ buf[904]=(byte)i; if(sha1_32(buf)==361266602){break;} }
		for(i=-7;i<7;i++){ buf[905]=(byte)i; if(sha1_32(buf)==-1299287916){break;} }
		for(i=48;i<63;i++){ buf[906]=(byte)i; if(sha1_32(buf)==-837598443){break;} }
		for(i=-36;i<-13;i++){ buf[907]=(byte)i; if(sha1_32(buf)==-723641451){break;} }
		for(i=43;i<55;i++){ buf[908]=(byte)i; if(sha1_32(buf)==-1736228656){break;} }
		for(i=-100;i<-84;i++){ buf[909]=(byte)i; if(sha1_32(buf)==1354460876){break;} }
		for(i=101;i<115;i++){ buf[910]=(byte)i; if(sha1_32(buf)==304421242){break;} }
		for(i=-116;i<-96;i++){ buf[911]=(byte)i; if(sha1_32(buf)==-132024017){break;} }
		for(i=-27;i<-9;i++){ buf[912]=(byte)i; if(sha1_32(buf)==1028280214){break;} }
		for(i=6;i<22;i++){ buf[913]=(byte)i; if(sha1_32(buf)==41000924){break;} }
		for(i=5;i<13;i++){ buf[914]=(byte)i; if(sha1_32(buf)==1182104560){break;} }
		for(i=109;i<123;i++){ buf[915]=(byte)i; if(sha1_32(buf)==410601724){break;} }
		for(i=-51;i<-41;i++){ buf[916]=(byte)i; if(sha1_32(buf)==-1055071665){break;} }
		for(i=61;i<70;i++){ buf[917]=(byte)i; if(sha1_32(buf)==-1970659227){break;} }
		for(i=6;i<13;i++){ buf[918]=(byte)i; if(sha1_32(buf)==888757267){break;} }
		for(i=105;i<111;i++){ buf[919]=(byte)i; if(sha1_32(buf)==-812845827){break;} }
		for(i=-120;i<-113;i++){ buf[920]=(byte)i; if(sha1_32(buf)==1501870006){break;} }
		for(i=-6;i<1;i++){ buf[921]=(byte)i; if(sha1_32(buf)==-714444422){break;} }
		for(i=79;i<91;i++){ buf[922]=(byte)i; if(sha1_32(buf)==1993188192){break;} }
		for(i=112;i<116;i++){ buf[923]=(byte)i; if(sha1_32(buf)==336471323){break;} }
		for(i=42;i<52;i++){ buf[924]=(byte)i; if(sha1_32(buf)==-1063089833){break;} }
		for(i=-27;i<-8;i++){ buf[925]=(byte)i; if(sha1_32(buf)==1611640731){break;} }
		for(i=-16;i<8;i++){ buf[926]=(byte)i; if(sha1_32(buf)==1404312703){break;} }
		for(i=-38;i<-14;i++){ buf[927]=(byte)i; if(sha1_32(buf)==-1969944271){break;} }
		for(i=116;i<125;i++){ buf[928]=(byte)i; if(sha1_32(buf)==1936206603){break;} }
		for(i=-103;i<-91;i++){ buf[929]=(byte)i; if(sha1_32(buf)==-494101786){break;} }
		for(i=-80;i<-76;i++){ buf[930]=(byte)i; if(sha1_32(buf)==1656551919){break;} }
		for(i=-94;i<-87;i++){ buf[931]=(byte)i; if(sha1_32(buf)==1276414722){break;} }
		for(i=54;i<79;i++){ buf[932]=(byte)i; if(sha1_32(buf)==-1968032831){break;} }
		for(i=-57;i<-40;i++){ buf[933]=(byte)i; if(sha1_32(buf)==-1745322370){break;} }
		for(i=93;i<118;i++){ buf[934]=(byte)i; if(sha1_32(buf)==1904683620){break;} }
		for(i=65;i<83;i++){ buf[935]=(byte)i; if(sha1_32(buf)==-355841998){break;} }
		for(i=-106;i<-85;i++){ buf[936]=(byte)i; if(sha1_32(buf)==1407368438){break;} }
		for(i=16;i<23;i++){ buf[937]=(byte)i; if(sha1_32(buf)==1657487708){break;} }
		for(i=112;i<125;i++){ buf[938]=(byte)i; if(sha1_32(buf)==-2115454836){break;} }
		for(i=107;i<126;i++){ buf[939]=(byte)i; if(sha1_32(buf)==249494793){break;} }
		for(i=14;i<23;i++){ buf[940]=(byte)i; if(sha1_32(buf)==923155211){break;} }
		for(i=-107;i<-87;i++){ buf[941]=(byte)i; if(sha1_32(buf)==-1486166416){break;} }
		for(i=93;i<108;i++){ buf[942]=(byte)i; if(sha1_32(buf)==-1712897678){break;} }
		for(i=64;i<85;i++){ buf[943]=(byte)i; if(sha1_32(buf)==1419497916){break;} }
		for(i=-24;i<-16;i++){ buf[944]=(byte)i; if(sha1_32(buf)==-2140066338){break;} }
		for(i=-105;i<-83;i++){ buf[945]=(byte)i; if(sha1_32(buf)==1409805496){break;} }
		for(i=40;i<54;i++){ buf[946]=(byte)i; if(sha1_32(buf)==510511059){break;} }
		for(i=-88;i<-71;i++){ buf[947]=(byte)i; if(sha1_32(buf)==-229899920){break;} }
		for(i=82;i<104;i++){ buf[948]=(byte)i; if(sha1_32(buf)==-377309277){break;} }
		for(i=-6;i<7;i++){ buf[949]=(byte)i; if(sha1_32(buf)==1665226553){break;} }
		for(i=-128;i<-118;i++){ buf[950]=(byte)i; if(sha1_32(buf)==1024568430){break;} }
		for(i=64;i<81;i++){ buf[951]=(byte)i; if(sha1_32(buf)==-447055182){break;} }
		for(i=-43;i<-26;i++){ buf[952]=(byte)i; if(sha1_32(buf)==1204526438){break;} }
		for(i=-72;i<-67;i++){ buf[953]=(byte)i; if(sha1_32(buf)==-1997645079){break;} }
		for(i=95;i<112;i++){ buf[954]=(byte)i; if(sha1_32(buf)==-1650041963){break;} }
		for(i=33;i<55;i++){ buf[955]=(byte)i; if(sha1_32(buf)==-103172484){break;} }
		for(i=-42;i<-25;i++){ buf[956]=(byte)i; if(sha1_32(buf)==416801494){break;} }
		for(i=-41;i<-31;i++){ buf[957]=(byte)i; if(sha1_32(buf)==860393813){break;} }
		for(i=2;i<26;i++){ buf[958]=(byte)i; if(sha1_32(buf)==-171292385){break;} }
		for(i=-117;i<-101;i++){ buf[959]=(byte)i; if(sha1_32(buf)==19317031){break;} }
		for(i=-78;i<-61;i++){ buf[960]=(byte)i; if(sha1_32(buf)==963942397){break;} }
		for(i=-121;i<-107;i++){ buf[961]=(byte)i; if(sha1_32(buf)==-256024432){break;} }
		for(i=-22;i<-8;i++){ buf[962]=(byte)i; if(sha1_32(buf)==886696641){break;} }
		for(i=86;i<93;i++){ buf[963]=(byte)i; if(sha1_32(buf)==-492489762){break;} }
		for(i=-46;i<-27;i++){ buf[964]=(byte)i; if(sha1_32(buf)==341958386){break;} }
		for(i=19;i<37;i++){ buf[965]=(byte)i; if(sha1_32(buf)==-1661681642){break;} }
		for(i=-42;i<-29;i++){ buf[966]=(byte)i; if(sha1_32(buf)==-997287773){break;} }
		for(i=-102;i<-80;i++){ buf[967]=(byte)i; if(sha1_32(buf)==55673954){break;} }
		for(i=61;i<77;i++){ buf[968]=(byte)i; if(sha1_32(buf)==-184740286){break;} }
		for(i=26;i<40;i++){ buf[969]=(byte)i; if(sha1_32(buf)==-853764144){break;} }
		for(i=-55;i<-38;i++){ buf[970]=(byte)i; if(sha1_32(buf)==-688766238){break;} }
		for(i=44;i<55;i++){ buf[971]=(byte)i; if(sha1_32(buf)==1233940012){break;} }
		for(i=-114;i<-91;i++){ buf[972]=(byte)i; if(sha1_32(buf)==874663744){break;} }
		for(i=35;i<48;i++){ buf[973]=(byte)i; if(sha1_32(buf)==-454608990){break;} }
		for(i=-128;i<-122;i++){ buf[974]=(byte)i; if(sha1_32(buf)==1149067273){break;} }
		for(i=-113;i<-98;i++){ buf[975]=(byte)i; if(sha1_32(buf)==-244153995){break;} }
		for(i=-79;i<-57;i++){ buf[976]=(byte)i; if(sha1_32(buf)==829191129){break;} }
		for(i=6;i<18;i++){ buf[977]=(byte)i; if(sha1_32(buf)==-314415859){break;} }
		for(i=-18;i<-10;i++){ buf[978]=(byte)i; if(sha1_32(buf)==-2034350683){break;} }
		for(i=8;i<26;i++){ buf[979]=(byte)i; if(sha1_32(buf)==-1202889935){break;} }
		for(i=-11;i<-4;i++){ buf[980]=(byte)i; if(sha1_32(buf)==633212510){break;} }
		for(i=-128;i<-123;i++){ buf[981]=(byte)i; if(sha1_32(buf)==-715957989){break;} }
		for(i=-52;i<-32;i++){ buf[982]=(byte)i; if(sha1_32(buf)==1482746854){break;} }
		for(i=-2;i<11;i++){ buf[983]=(byte)i; if(sha1_32(buf)==1615225207){break;} }
		for(i=91;i<110;i++){ buf[984]=(byte)i; if(sha1_32(buf)==-1025658147){break;} }
		for(i=76;i<86;i++){ buf[985]=(byte)i; if(sha1_32(buf)==34294048){break;} }
		for(i=-62;i<-50;i++){ buf[986]=(byte)i; if(sha1_32(buf)==1428082632){break;} }
		for(i=38;i<56;i++){ buf[987]=(byte)i; if(sha1_32(buf)==-2008726580){break;} }
		for(i=30;i<51;i++){ buf[988]=(byte)i; if(sha1_32(buf)==-6621024){break;} }
		for(i=121;i<128;i++){ buf[989]=(byte)i; if(sha1_32(buf)==97060076){break;} }
		for(i=-62;i<-35;i++){ buf[990]=(byte)i; if(sha1_32(buf)==515346665){break;} }
		for(i=67;i<87;i++){ buf[991]=(byte)i; if(sha1_32(buf)==-1026760013){break;} }
		for(i=125;i<128;i++){ buf[992]=(byte)i; if(sha1_32(buf)==1528701588){break;} }
		for(i=15;i<31;i++){ buf[993]=(byte)i; if(sha1_32(buf)==695602654){break;} }
		for(i=-66;i<-51;i++){ buf[994]=(byte)i; if(sha1_32(buf)==-166651514){break;} }
		for(i=82;i<104;i++){ buf[995]=(byte)i; if(sha1_32(buf)==-1753259366){break;} }
		for(i=-2;i<0;i++){ buf[996]=(byte)i; if(sha1_32(buf)==-1557490915){break;} }
		for(i=-10;i<-1;i++){ buf[997]=(byte)i; if(sha1_32(buf)==69896866){break;} }
		for(i=-43;i<-27;i++){ buf[998]=(byte)i; if(sha1_32(buf)==1011936900){break;} }
		for(i=-18;i<4;i++){ buf[999]=(byte)i; if(sha1_32(buf)==-29859946){break;} }
		for(i=-15;i<0;i++){ buf[1000]=(byte)i; if(sha1_32(buf)==1912313537){break;} }
		for(i=14;i<19;i++){ buf[1001]=(byte)i; if(sha1_32(buf)==-846441344){break;} }
		for(i=-28;i<-14;i++){ buf[1002]=(byte)i; if(sha1_32(buf)==1051110539){break;} }
		for(i=-26;i<-6;i++){ buf[1003]=(byte)i; if(sha1_32(buf)==985724526){break;} }
		for(i=-93;i<-78;i++){ buf[1004]=(byte)i; if(sha1_32(buf)==1871385525){break;} }
		for(i=111;i<122;i++){ buf[1005]=(byte)i; if(sha1_32(buf)==1068297204){break;} }
		for(i=107;i<121;i++){ buf[1006]=(byte)i; if(sha1_32(buf)==-415998810){break;} }
		for(i=93;i<116;i++){ buf[1007]=(byte)i; if(sha1_32(buf)==1847016468){break;} }
		for(i=-100;i<-97;i++){ buf[1008]=(byte)i; if(sha1_32(buf)==-2116052339){break;} }
		for(i=-34;i<-14;i++){ buf[1009]=(byte)i; if(sha1_32(buf)==2018712904){break;} }
		for(i=-122;i<-105;i++){ buf[1010]=(byte)i; if(sha1_32(buf)==169450261){break;} }
		for(i=99;i<111;i++){ buf[1011]=(byte)i; if(sha1_32(buf)==-1122558532){break;} }
		for(i=31;i<58;i++){ buf[1012]=(byte)i; if(sha1_32(buf)==-768002199){break;} }
		for(i=85;i<91;i++){ buf[1013]=(byte)i; if(sha1_32(buf)==827194153){break;} }
		for(i=30;i<45;i++){ buf[1014]=(byte)i; if(sha1_32(buf)==-1908826510){break;} }
		for(i=-128;i<-109;i++){ buf[1015]=(byte)i; if(sha1_32(buf)==1889161898){break;} }
		for(i=85;i<107;i++){ buf[1016]=(byte)i; if(sha1_32(buf)==-1200635577){break;} }
		for(i=-96;i<-71;i++){ buf[1017]=(byte)i; if(sha1_32(buf)==-386960332){break;} }
		for(i=72;i<82;i++){ buf[1018]=(byte)i; if(sha1_32(buf)==1833436759){break;} }
		for(i=-64;i<-43;i++){ buf[1019]=(byte)i; if(sha1_32(buf)==-321959596){break;} }
		for(i=13;i<41;i++){ buf[1020]=(byte)i; if(sha1_32(buf)==777127874){break;} }
		for(i=84;i<104;i++){ buf[1021]=(byte)i; if(sha1_32(buf)==1455913299){break;} }
		for(i=-71;i<-45;i++){ buf[1022]=(byte)i; if(sha1_32(buf)==822978505){break;} }
		for(i=-39;i<-11;i++){ buf[1023]=(byte)i; if(sha1_32(buf)==1613705856){break;} }
		for(i=-35;i<-21;i++){ buf[1024]=(byte)i; if(sha1_32(buf)==881947422){break;} }
		for(i=-126;i<-108;i++){ buf[1025]=(byte)i; if(sha1_32(buf)==2109120227){break;} }
		for(i=100;i<117;i++){ buf[1026]=(byte)i; if(sha1_32(buf)==-2125554015){break;} }
		for(i=60;i<74;i++){ buf[1027]=(byte)i; if(sha1_32(buf)==-1615280183){break;} }
		for(i=69;i<78;i++){ buf[1028]=(byte)i; if(sha1_32(buf)==1057153384){break;} }
		for(i=-84;i<-64;i++){ buf[1029]=(byte)i; if(sha1_32(buf)==443883875){break;} }
		for(i=-80;i<-54;i++){ buf[1030]=(byte)i; if(sha1_32(buf)==-26184528){break;} }
		for(i=17;i<39;i++){ buf[1031]=(byte)i; if(sha1_32(buf)==1996825896){break;} }
		for(i=-28;i<-11;i++){ buf[1032]=(byte)i; if(sha1_32(buf)==-1288609474){break;} }
		for(i=94;i<109;i++){ buf[1033]=(byte)i; if(sha1_32(buf)==-826136688){break;} }
		for(i=34;i<54;i++){ buf[1034]=(byte)i; if(sha1_32(buf)==-1354113456){break;} }
		for(i=-69;i<-45;i++){ buf[1035]=(byte)i; if(sha1_32(buf)==1173039673){break;} }
		for(i=0;i<22;i++){ buf[1036]=(byte)i; if(sha1_32(buf)==1416991615){break;} }
		for(i=-107;i<-83;i++){ buf[1037]=(byte)i; if(sha1_32(buf)==1433070029){break;} }
		for(i=116;i<127;i++){ buf[1038]=(byte)i; if(sha1_32(buf)==-1103043032){break;} }
		for(i=98;i<116;i++){ buf[1039]=(byte)i; if(sha1_32(buf)==-345176545){break;} }
		for(i=41;i<58;i++){ buf[1040]=(byte)i; if(sha1_32(buf)==-633062796){break;} }
		for(i=86;i<107;i++){ buf[1041]=(byte)i; if(sha1_32(buf)==-275099695){break;} }
		for(i=76;i<93;i++){ buf[1042]=(byte)i; if(sha1_32(buf)==-588626229){break;} }
		for(i=94;i<105;i++){ buf[1043]=(byte)i; if(sha1_32(buf)==1521020291){break;} }
		for(i=44;i<56;i++){ buf[1044]=(byte)i; if(sha1_32(buf)==-1172399568){break;} }
		for(i=36;i<55;i++){ buf[1045]=(byte)i; if(sha1_32(buf)==-421317317){break;} }
		for(i=-50;i<-33;i++){ buf[1046]=(byte)i; if(sha1_32(buf)==1099667951){break;} }
		for(i=23;i<48;i++){ buf[1047]=(byte)i; if(sha1_32(buf)==-991681013){break;} }
		for(i=-90;i<-77;i++){ buf[1048]=(byte)i; if(sha1_32(buf)==202648687){break;} }
		for(i=57;i<59;i++){ buf[1049]=(byte)i; if(sha1_32(buf)==-205029105){break;} }
		for(i=48;i<70;i++){ buf[1050]=(byte)i; if(sha1_32(buf)==1401717692){break;} }
		for(i=113;i<128;i++){ buf[1051]=(byte)i; if(sha1_32(buf)==-1004537846){break;} }
		for(i=-84;i<-68;i++){ buf[1052]=(byte)i; if(sha1_32(buf)==1550288288){break;} }
		for(i=42;i<62;i++){ buf[1053]=(byte)i; if(sha1_32(buf)==2053336567){break;} }
		for(i=-105;i<-88;i++){ buf[1054]=(byte)i; if(sha1_32(buf)==64147589){break;} }
		for(i=15;i<25;i++){ buf[1055]=(byte)i; if(sha1_32(buf)==1364653442){break;} }
		for(i=-35;i<-16;i++){ buf[1056]=(byte)i; if(sha1_32(buf)==-1875351699){break;} }
		for(i=-17;i<0;i++){ buf[1057]=(byte)i; if(sha1_32(buf)==165439887){break;} }
		for(i=-101;i<-92;i++){ buf[1058]=(byte)i; if(sha1_32(buf)==-2084385315){break;} }
		for(i=44;i<65;i++){ buf[1059]=(byte)i; if(sha1_32(buf)==1447062455){break;} }
		for(i=33;i<53;i++){ buf[1060]=(byte)i; if(sha1_32(buf)==-207372215){break;} }
		for(i=60;i<64;i++){ buf[1061]=(byte)i; if(sha1_32(buf)==-1237698425){break;} }
		for(i=8;i<19;i++){ buf[1062]=(byte)i; if(sha1_32(buf)==-402533569){break;} }
		for(i=-15;i<4;i++){ buf[1063]=(byte)i; if(sha1_32(buf)==2007796663){break;} }
		for(i=-109;i<-95;i++){ buf[1064]=(byte)i; if(sha1_32(buf)==444326885){break;} }
		for(i=-39;i<-28;i++){ buf[1065]=(byte)i; if(sha1_32(buf)==-682831975){break;} }
		for(i=-113;i<-94;i++){ buf[1066]=(byte)i; if(sha1_32(buf)==266474601){break;} }
		for(i=-41;i<-20;i++){ buf[1067]=(byte)i; if(sha1_32(buf)==-981789173){break;} }
		for(i=-110;i<-89;i++){ buf[1068]=(byte)i; if(sha1_32(buf)==1265718178){break;} }
		for(i=33;i<59;i++){ buf[1069]=(byte)i; if(sha1_32(buf)==-42130799){break;} }
		for(i=-122;i<-104;i++){ buf[1070]=(byte)i; if(sha1_32(buf)==1216458383){break;} }
		for(i=-44;i<-37;i++){ buf[1071]=(byte)i; if(sha1_32(buf)==367570586){break;} }
		for(i=-76;i<-67;i++){ buf[1072]=(byte)i; if(sha1_32(buf)==1766826252){break;} }
		for(i=-62;i<-52;i++){ buf[1073]=(byte)i; if(sha1_32(buf)==1313990367){break;} }
		for(i=112;i<123;i++){ buf[1074]=(byte)i; if(sha1_32(buf)==309432408){break;} }
		for(i=-17;i<-7;i++){ buf[1075]=(byte)i; if(sha1_32(buf)==933051268){break;} }
		for(i=123;i<128;i++){ buf[1076]=(byte)i; if(sha1_32(buf)==-1954297083){break;} }
		for(i=102;i<113;i++){ buf[1077]=(byte)i; if(sha1_32(buf)==3837386){break;} }
		for(i=-55;i<-29;i++){ buf[1078]=(byte)i; if(sha1_32(buf)==-2045370815){break;} }
		for(i=-5;i<-1;i++){ buf[1079]=(byte)i; if(sha1_32(buf)==-111838264){break;} }
		for(i=-114;i<-104;i++){ buf[1080]=(byte)i; if(sha1_32(buf)==-2098446067){break;} }
		for(i=-128;i<-108;i++){ buf[1081]=(byte)i; if(sha1_32(buf)==1259595367){break;} }
		for(i=85;i<90;i++){ buf[1082]=(byte)i; if(sha1_32(buf)==-161305849){break;} }
		for(i=98;i<122;i++){ buf[1083]=(byte)i; if(sha1_32(buf)==-903952654){break;} }
		for(i=-8;i<7;i++){ buf[1084]=(byte)i; if(sha1_32(buf)==141631434){break;} }
		for(i=-99;i<-85;i++){ buf[1085]=(byte)i; if(sha1_32(buf)==-1313907090){break;} }
		for(i=-2;i<15;i++){ buf[1086]=(byte)i; if(sha1_32(buf)==-223367881){break;} }
		for(i=97;i<112;i++){ buf[1087]=(byte)i; if(sha1_32(buf)==-904190929){break;} }
		for(i=-32;i<-21;i++){ buf[1088]=(byte)i; if(sha1_32(buf)==2087863620){break;} }
		for(i=37;i<60;i++){ buf[1089]=(byte)i; if(sha1_32(buf)==1795239701){break;} }
		for(i=103;i<120;i++){ buf[1090]=(byte)i; if(sha1_32(buf)==-890040584){break;} }
		for(i=71;i<92;i++){ buf[1091]=(byte)i; if(sha1_32(buf)==1386009586){break;} }
		for(i=84;i<102;i++){ buf[1092]=(byte)i; if(sha1_32(buf)==779467255){break;} }
		for(i=-60;i<-40;i++){ buf[1093]=(byte)i; if(sha1_32(buf)==788144109){break;} }
		for(i=1;i<23;i++){ buf[1094]=(byte)i; if(sha1_32(buf)==-861476392){break;} }
		for(i=23;i<30;i++){ buf[1095]=(byte)i; if(sha1_32(buf)==338004194){break;} }
		for(i=-104;i<-85;i++){ buf[1096]=(byte)i; if(sha1_32(buf)==-2023143560){break;} }
		for(i=-100;i<-75;i++){ buf[1097]=(byte)i; if(sha1_32(buf)==-1941292573){break;} }
		for(i=114;i<128;i++){ buf[1098]=(byte)i; if(sha1_32(buf)==266274957){break;} }
		for(i=-103;i<-80;i++){ buf[1099]=(byte)i; if(sha1_32(buf)==1260947182){break;} }
		for(i=-34;i<-19;i++){ buf[1100]=(byte)i; if(sha1_32(buf)==-150366412){break;} }
		for(i=-54;i<-40;i++){ buf[1101]=(byte)i; if(sha1_32(buf)==1183173272){break;} }
		for(i=-48;i<-30;i++){ buf[1102]=(byte)i; if(sha1_32(buf)==-862498714){break;} }
		for(i=-72;i<-62;i++){ buf[1103]=(byte)i; if(sha1_32(buf)==-2011375723){break;} }
		for(i=-128;i<-123;i++){ buf[1104]=(byte)i; if(sha1_32(buf)==459340359){break;} }
		for(i=-65;i<-39;i++){ buf[1105]=(byte)i; if(sha1_32(buf)==-550092131){break;} }
		for(i=27;i<53;i++){ buf[1106]=(byte)i; if(sha1_32(buf)==-1888397417){break;} }
		for(i=84;i<102;i++){ buf[1107]=(byte)i; if(sha1_32(buf)==-178964896){break;} }
		for(i=-47;i<-32;i++){ buf[1108]=(byte)i; if(sha1_32(buf)==970522340){break;} }
		for(i=-6;i<5;i++){ buf[1109]=(byte)i; if(sha1_32(buf)==970522340){break;} }
		for(i=-128;i<-120;i++){ buf[1110]=(byte)i; if(sha1_32(buf)==-276247493){break;} }
		for(i=29;i<44;i++){ buf[1111]=(byte)i; if(sha1_32(buf)==2132027334){break;} }
		for(i=52;i<63;i++){ buf[1112]=(byte)i; if(sha1_32(buf)==1316201976){break;} }
		for(i=110;i<128;i++){ buf[1113]=(byte)i; if(sha1_32(buf)==-1687020217){break;} }
		for(i=94;i<124;i++){ buf[1114]=(byte)i; if(sha1_32(buf)==-822321829){break;} }
		for(i=-43;i<-34;i++){ buf[1115]=(byte)i; if(sha1_32(buf)==-1683900690){break;} }
		for(i=101;i<123;i++){ buf[1116]=(byte)i; if(sha1_32(buf)==-1976565131){break;} }
		for(i=67;i<83;i++){ buf[1117]=(byte)i; if(sha1_32(buf)==2104858526){break;} }
		for(i=103;i<118;i++){ buf[1118]=(byte)i; if(sha1_32(buf)==1554740006){break;} }
		for(i=5;i<25;i++){ buf[1119]=(byte)i; if(sha1_32(buf)==-1297977657){break;} }
		for(i=-66;i<-49;i++){ buf[1120]=(byte)i; if(sha1_32(buf)==-1753760572){break;} }
		for(i=29;i<48;i++){ buf[1121]=(byte)i; if(sha1_32(buf)==-1865464481){break;} }
		for(i=65;i<79;i++){ buf[1122]=(byte)i; if(sha1_32(buf)==1904254041){break;} }
		for(i=36;i<46;i++){ buf[1123]=(byte)i; if(sha1_32(buf)==886314885){break;} }
		for(i=-14;i<6;i++){ buf[1124]=(byte)i; if(sha1_32(buf)==1382423061){break;} }
		for(i=91;i<105;i++){ buf[1125]=(byte)i; if(sha1_32(buf)==1507674459){break;} }
		for(i=22;i<41;i++){ buf[1126]=(byte)i; if(sha1_32(buf)==-1937863948){break;} }
		for(i=5;i<15;i++){ buf[1127]=(byte)i; if(sha1_32(buf)==2006105623){break;} }
		for(i=-91;i<-74;i++){ buf[1128]=(byte)i; if(sha1_32(buf)==-2089832838){break;} }
		for(i=17;i<40;i++){ buf[1129]=(byte)i; if(sha1_32(buf)==-508063665){break;} }
		for(i=88;i<107;i++){ buf[1130]=(byte)i; if(sha1_32(buf)==379064834){break;} }
		for(i=39;i<66;i++){ buf[1131]=(byte)i; if(sha1_32(buf)==153474597){break;} }
		for(i=-97;i<-77;i++){ buf[1132]=(byte)i; if(sha1_32(buf)==1332392683){break;} }
		for(i=-96;i<-87;i++){ buf[1133]=(byte)i; if(sha1_32(buf)==-1558002018){break;} }
		for(i=-64;i<-52;i++){ buf[1134]=(byte)i; if(sha1_32(buf)==-1526794729){break;} }
		for(i=-100;i<-92;i++){ buf[1135]=(byte)i; if(sha1_32(buf)==287108733){break;} }
		for(i=87;i<101;i++){ buf[1136]=(byte)i; if(sha1_32(buf)==-765653525){break;} }
		for(i=-85;i<-63;i++){ buf[1137]=(byte)i; if(sha1_32(buf)==1599606330){break;} }
		for(i=-41;i<-31;i++){ buf[1138]=(byte)i; if(sha1_32(buf)==1755105339){break;} }
		for(i=-5;i<21;i++){ buf[1139]=(byte)i; if(sha1_32(buf)==2076213098){break;} }
		for(i=-24;i<-14;i++){ buf[1140]=(byte)i; if(sha1_32(buf)==-55311916){break;} }
		for(i=-17;i<-7;i++){ buf[1141]=(byte)i; if(sha1_32(buf)==1841264017){break;} }
		for(i=99;i<111;i++){ buf[1142]=(byte)i; if(sha1_32(buf)==-1076561675){break;} }
		for(i=45;i<59;i++){ buf[1143]=(byte)i; if(sha1_32(buf)==1600677889){break;} }
		for(i=-11;i<11;i++){ buf[1144]=(byte)i; if(sha1_32(buf)==-564627489){break;} }
		for(i=-56;i<-33;i++){ buf[1145]=(byte)i; if(sha1_32(buf)==204747352){break;} }
		for(i=22;i<45;i++){ buf[1146]=(byte)i; if(sha1_32(buf)==1509720369){break;} }
		for(i=-30;i<-6;i++){ buf[1147]=(byte)i; if(sha1_32(buf)==60912507){break;} }
		for(i=-125;i<-105;i++){ buf[1148]=(byte)i; if(sha1_32(buf)==-1949743574){break;} }
		for(i=-97;i<-78;i++){ buf[1149]=(byte)i; if(sha1_32(buf)==1052367910){break;} }
		for(i=86;i<106;i++){ buf[1150]=(byte)i; if(sha1_32(buf)==902664221){break;} }
		for(i=50;i<61;i++){ buf[1151]=(byte)i; if(sha1_32(buf)==-305194423){break;} }
		for(i=-82;i<-68;i++){ buf[1152]=(byte)i; if(sha1_32(buf)==1710552516){break;} }
		for(i=-98;i<-76;i++){ buf[1153]=(byte)i; if(sha1_32(buf)==868848710){break;} }
		for(i=-16;i<-1;i++){ buf[1154]=(byte)i; if(sha1_32(buf)==2097884920){break;} }
		for(i=-70;i<-61;i++){ buf[1155]=(byte)i; if(sha1_32(buf)==1017176458){break;} }
		for(i=-111;i<-80;i++){ buf[1156]=(byte)i; if(sha1_32(buf)==1970708246){break;} }
		for(i=-92;i<-84;i++){ buf[1157]=(byte)i; if(sha1_32(buf)==112523072){break;} }
		for(i=-72;i<-44;i++){ buf[1158]=(byte)i; if(sha1_32(buf)==-1186380551){break;} }
		for(i=8;i<20;i++){ buf[1159]=(byte)i; if(sha1_32(buf)==2083393897){break;} }
		for(i=82;i<94;i++){ buf[1160]=(byte)i; if(sha1_32(buf)==-1272506820){break;} }
		for(i=23;i<43;i++){ buf[1161]=(byte)i; if(sha1_32(buf)==194196419){break;} }
		for(i=99;i<113;i++){ buf[1162]=(byte)i; if(sha1_32(buf)==-1909642306){break;} }
		for(i=-54;i<-31;i++){ buf[1163]=(byte)i; if(sha1_32(buf)==151368608){break;} }
		for(i=99;i<111;i++){ buf[1164]=(byte)i; if(sha1_32(buf)==379611702){break;} }
		for(i=69;i<86;i++){ buf[1165]=(byte)i; if(sha1_32(buf)==-1053368001){break;} }
		for(i=106;i<128;i++){ buf[1166]=(byte)i; if(sha1_32(buf)==-2023579543){break;} }
		for(i=91;i<117;i++){ buf[1167]=(byte)i; if(sha1_32(buf)==1734484097){break;} }
		for(i=-128;i<-112;i++){ buf[1168]=(byte)i; if(sha1_32(buf)==-910870461){break;} }
		for(i=-102;i<-79;i++){ buf[1169]=(byte)i; if(sha1_32(buf)==1514362199){break;} }
		for(i=94;i<119;i++){ buf[1170]=(byte)i; if(sha1_32(buf)==-1781223768){break;} }
		for(i=83;i<112;i++){ buf[1171]=(byte)i; if(sha1_32(buf)==624851050){break;} }
		for(i=97;i<112;i++){ buf[1172]=(byte)i; if(sha1_32(buf)==-423122080){break;} }
		for(i=-128;i<-110;i++){ buf[1173]=(byte)i; if(sha1_32(buf)==1912480575){break;} }
		for(i=50;i<62;i++){ buf[1174]=(byte)i; if(sha1_32(buf)==-497624750){break;} }
		for(i=-96;i<-91;i++){ buf[1175]=(byte)i; if(sha1_32(buf)==-309835976){break;} }
		for(i=3;i<24;i++){ buf[1176]=(byte)i; if(sha1_32(buf)==1046515899){break;} }
		for(i=-26;i<-8;i++){ buf[1177]=(byte)i; if(sha1_32(buf)==-594282393){break;} }
		for(i=-105;i<-91;i++){ buf[1178]=(byte)i; if(sha1_32(buf)==-789830336){break;} }
		for(i=65;i<82;i++){ buf[1179]=(byte)i; if(sha1_32(buf)==1519013827){break;} }
		for(i=19;i<26;i++){ buf[1180]=(byte)i; if(sha1_32(buf)==-1359874385){break;} }
		for(i=85;i<95;i++){ buf[1181]=(byte)i; if(sha1_32(buf)==340974907){break;} }
		for(i=8;i<29;i++){ buf[1182]=(byte)i; if(sha1_32(buf)==-2143728295){break;} }
		for(i=16;i<34;i++){ buf[1183]=(byte)i; if(sha1_32(buf)==-658165557){break;} }
		for(i=118;i<128;i++){ buf[1184]=(byte)i; if(sha1_32(buf)==-193508802){break;} }
		for(i=51;i<64;i++){ buf[1185]=(byte)i; if(sha1_32(buf)==-914895725){break;} }
		for(i=-75;i<-63;i++){ buf[1186]=(byte)i; if(sha1_32(buf)==-1843334144){break;} }
		for(i=-49;i<-32;i++){ buf[1187]=(byte)i; if(sha1_32(buf)==-917754370){break;} }
		for(i=36;i<50;i++){ buf[1188]=(byte)i; if(sha1_32(buf)==-1373320206){break;} }
		for(i=61;i<80;i++){ buf[1189]=(byte)i; if(sha1_32(buf)==1407666039){break;} }
		for(i=-70;i<-68;i++){ buf[1190]=(byte)i; if(sha1_32(buf)==483536421){break;} }
		for(i=97;i<110;i++){ buf[1191]=(byte)i; if(sha1_32(buf)==2032526418){break;} }
		for(i=62;i<80;i++){ buf[1192]=(byte)i; if(sha1_32(buf)==975488583){break;} }
		for(i=33;i<42;i++){ buf[1193]=(byte)i; if(sha1_32(buf)==-97266397){break;} }
		for(i=-123;i<-107;i++){ buf[1194]=(byte)i; if(sha1_32(buf)==-377377980){break;} }
		for(i=-65;i<-52;i++){ buf[1195]=(byte)i; if(sha1_32(buf)==1770345304){break;} }
		for(i=78;i<105;i++){ buf[1196]=(byte)i; if(sha1_32(buf)==-1916982239){break;} }
		for(i=51;i<65;i++){ buf[1197]=(byte)i; if(sha1_32(buf)==1139189892){break;} }
		for(i=108;i<122;i++){ buf[1198]=(byte)i; if(sha1_32(buf)==1586432933){break;} }
		for(i=-110;i<-97;i++){ buf[1199]=(byte)i; if(sha1_32(buf)==-1079967537){break;} }
		for(i=87;i<109;i++){ buf[1200]=(byte)i; if(sha1_32(buf)==1218698927){break;} }
		for(i=-16;i<10;i++){ buf[1201]=(byte)i; if(sha1_32(buf)==1583172658){break;} }
		for(i=106;i<113;i++){ buf[1202]=(byte)i; if(sha1_32(buf)==-104236430){break;} }
		for(i=-128;i<-109;i++){ buf[1203]=(byte)i; if(sha1_32(buf)==-440403827){break;} }
		for(i=-119;i<-109;i++){ buf[1204]=(byte)i; if(sha1_32(buf)==1394172182){break;} }
		for(i=-115;i<-99;i++){ buf[1205]=(byte)i; if(sha1_32(buf)==2145898124){break;} }
		for(i=64;i<88;i++){ buf[1206]=(byte)i; if(sha1_32(buf)==-1021563334){break;} }
		for(i=-64;i<-58;i++){ buf[1207]=(byte)i; if(sha1_32(buf)==-1795608322){break;} }
		for(i=86;i<96;i++){ buf[1208]=(byte)i; if(sha1_32(buf)==-1958010615){break;} }
		for(i=-7;i<8;i++){ buf[1209]=(byte)i; if(sha1_32(buf)==1431585445){break;} }
		for(i=-88;i<-68;i++){ buf[1210]=(byte)i; if(sha1_32(buf)==1789992237){break;} }
		for(i=-82;i<-64;i++){ buf[1211]=(byte)i; if(sha1_32(buf)==-394930295){break;} }
		for(i=-34;i<-27;i++){ buf[1212]=(byte)i; if(sha1_32(buf)==738640547){break;} }
		for(i=-7;i<6;i++){ buf[1213]=(byte)i; if(sha1_32(buf)==1783832980){break;} }
		for(i=9;i<26;i++){ buf[1214]=(byte)i; if(sha1_32(buf)==-1430034550){break;} }
		for(i=21;i<37;i++){ buf[1215]=(byte)i; if(sha1_32(buf)==1083567771){break;} }
		for(i=67;i<89;i++){ buf[1216]=(byte)i; if(sha1_32(buf)==1827013032){break;} }
		for(i=-60;i<-45;i++){ buf[1217]=(byte)i; if(sha1_32(buf)==-743299337){break;} }
		for(i=10;i<35;i++){ buf[1218]=(byte)i; if(sha1_32(buf)==-1863770999){break;} }
		for(i=-81;i<-65;i++){ buf[1219]=(byte)i; if(sha1_32(buf)==-1051846730){break;} }
		for(i=51;i<75;i++){ buf[1220]=(byte)i; if(sha1_32(buf)==774926572){break;} }
		for(i=-16;i<-9;i++){ buf[1221]=(byte)i; if(sha1_32(buf)==670720472){break;} }
		for(i=8;i<32;i++){ buf[1222]=(byte)i; if(sha1_32(buf)==1535401846){break;} }
		for(i=-119;i<-101;i++){ buf[1223]=(byte)i; if(sha1_32(buf)==84633791){break;} }
		for(i=95;i<121;i++){ buf[1224]=(byte)i; if(sha1_32(buf)==1176167909){break;} }
		for(i=-47;i<-22;i++){ buf[1225]=(byte)i; if(sha1_32(buf)==529060262){break;} }
		for(i=2;i<17;i++){ buf[1226]=(byte)i; if(sha1_32(buf)==-462746937){break;} }
		for(i=-5;i<9;i++){ buf[1227]=(byte)i; if(sha1_32(buf)==284749580){break;} }
		for(i=-97;i<-71;i++){ buf[1228]=(byte)i; if(sha1_32(buf)==-910130008){break;} }
		for(i=74;i<85;i++){ buf[1229]=(byte)i; if(sha1_32(buf)==2062563523){break;} }
		for(i=-94;i<-76;i++){ buf[1230]=(byte)i; if(sha1_32(buf)==260140717){break;} }
		for(i=2;i<22;i++){ buf[1231]=(byte)i; if(sha1_32(buf)==1152991309){break;} }
		for(i=-60;i<-36;i++){ buf[1232]=(byte)i; if(sha1_32(buf)==1768121015){break;} }
		for(i=-102;i<-80;i++){ buf[1233]=(byte)i; if(sha1_32(buf)==158809873){break;} }
		for(i=84;i<88;i++){ buf[1234]=(byte)i; if(sha1_32(buf)==725355296){break;} }
		for(i=-51;i<-33;i++){ buf[1235]=(byte)i; if(sha1_32(buf)==1283720717){break;} }
		for(i=4;i<11;i++){ buf[1236]=(byte)i; if(sha1_32(buf)==378262404){break;} }
		for(i=32;i<57;i++){ buf[1237]=(byte)i; if(sha1_32(buf)==-338779977){break;} }
		for(i=-64;i<-42;i++){ buf[1238]=(byte)i; if(sha1_32(buf)==510984260){break;} }
		for(i=66;i<85;i++){ buf[1239]=(byte)i; if(sha1_32(buf)==-1590175892){break;} }
		for(i=71;i<89;i++){ buf[1240]=(byte)i; if(sha1_32(buf)==-1598460878){break;} }
		for(i=81;i<101;i++){ buf[1241]=(byte)i; if(sha1_32(buf)==1702962722){break;} }
		for(i=-59;i<-43;i++){ buf[1242]=(byte)i; if(sha1_32(buf)==184871975){break;} }
		for(i=-71;i<-53;i++){ buf[1243]=(byte)i; if(sha1_32(buf)==677245904){break;} }
		for(i=35;i<47;i++){ buf[1244]=(byte)i; if(sha1_32(buf)==420213671){break;} }
		for(i=51;i<72;i++){ buf[1245]=(byte)i; if(sha1_32(buf)==1088948766){break;} }
		for(i=46;i<61;i++){ buf[1246]=(byte)i; if(sha1_32(buf)==-703802346){break;} }
		for(i=32;i<52;i++){ buf[1247]=(byte)i; if(sha1_32(buf)==-1152864699){break;} }
		for(i=-7;i<12;i++){ buf[1248]=(byte)i; if(sha1_32(buf)==-1957111392){break;} }
		for(i=-128;i<-115;i++){ buf[1249]=(byte)i; if(sha1_32(buf)==268842292){break;} }
		for(i=-107;i<-98;i++){ buf[1250]=(byte)i; if(sha1_32(buf)==-102428614){break;} }
		for(i=-62;i<-36;i++){ buf[1251]=(byte)i; if(sha1_32(buf)==-1357620963){break;} }
		for(i=26;i<46;i++){ buf[1252]=(byte)i; if(sha1_32(buf)==1668548587){break;} }
		for(i=41;i<50;i++){ buf[1253]=(byte)i; if(sha1_32(buf)==-42979542){break;} }
		for(i=-89;i<-63;i++){ buf[1254]=(byte)i; if(sha1_32(buf)==1907402607){break;} }
		for(i=38;i<62;i++){ buf[1255]=(byte)i; if(sha1_32(buf)==-1431271734){break;} }
		for(i=-80;i<-63;i++){ buf[1256]=(byte)i; if(sha1_32(buf)==-1236650504){break;} }
		for(i=-74;i<-65;i++){ buf[1257]=(byte)i; if(sha1_32(buf)==613869180){break;} }
		for(i=-94;i<-73;i++){ buf[1258]=(byte)i; if(sha1_32(buf)==386571241){break;} }
		for(i=-34;i<-17;i++){ buf[1259]=(byte)i; if(sha1_32(buf)==-432885800){break;} }
		for(i=106;i<126;i++){ buf[1260]=(byte)i; if(sha1_32(buf)==-1536755485){break;} }
		for(i=-38;i<-15;i++){ buf[1261]=(byte)i; if(sha1_32(buf)==-1440193079){break;} }
		for(i=-103;i<-98;i++){ buf[1262]=(byte)i; if(sha1_32(buf)==749600270){break;} }
		for(i=-119;i<-92;i++){ buf[1263]=(byte)i; if(sha1_32(buf)==-1120172831){break;} }
		for(i=-54;i<-26;i++){ buf[1264]=(byte)i; if(sha1_32(buf)==1562865478){break;} }
		for(i=-45;i<-20;i++){ buf[1265]=(byte)i; if(sha1_32(buf)==-1449286585){break;} }
		for(i=-46;i<-30;i++){ buf[1266]=(byte)i; if(sha1_32(buf)==258333710){break;} }
		for(i=45;i<70;i++){ buf[1267]=(byte)i; if(sha1_32(buf)==-1959695629){break;} }
		for(i=-72;i<-51;i++){ buf[1268]=(byte)i; if(sha1_32(buf)==305905713){break;} }
		for(i=-62;i<-60;i++){ buf[1269]=(byte)i; if(sha1_32(buf)==2066456555){break;} }
		for(i=-44;i<-34;i++){ buf[1270]=(byte)i; if(sha1_32(buf)==1307510412){break;} }
		for(i=74;i<101;i++){ buf[1271]=(byte)i; if(sha1_32(buf)==1983028756){break;} }
		for(i=50;i<61;i++){ buf[1272]=(byte)i; if(sha1_32(buf)==-1755958205){break;} }
		for(i=-11;i<-2;i++){ buf[1273]=(byte)i; if(sha1_32(buf)==-1008534547){break;} }
		for(i=-4;i<21;i++){ buf[1274]=(byte)i; if(sha1_32(buf)==-93274060){break;} }
		for(i=38;i<59;i++){ buf[1275]=(byte)i; if(sha1_32(buf)==55879748){break;} }
		for(i=85;i<104;i++){ buf[1276]=(byte)i; if(sha1_32(buf)==585291483){break;} }
		for(i=119;i<128;i++){ buf[1277]=(byte)i; if(sha1_32(buf)==-2056150297){break;} }
		for(i=3;i<17;i++){ buf[1278]=(byte)i; if(sha1_32(buf)==599687685){break;} }
		for(i=111;i<122;i++){ buf[1279]=(byte)i; if(sha1_32(buf)==103454378){break;} }
		for(i=108;i<119;i++){ buf[1280]=(byte)i; if(sha1_32(buf)==-1214480088){break;} }
		for(i=-2;i<19;i++){ buf[1281]=(byte)i; if(sha1_32(buf)==531426756){break;} }
		for(i=22;i<39;i++){ buf[1282]=(byte)i; if(sha1_32(buf)==-266409409){break;} }
		for(i=-66;i<-49;i++){ buf[1283]=(byte)i; if(sha1_32(buf)==-2002422630){break;} }
		for(i=12;i<30;i++){ buf[1284]=(byte)i; if(sha1_32(buf)==-252773451){break;} }
		for(i=122;i<128;i++){ buf[1285]=(byte)i; if(sha1_32(buf)==-1614937364){break;} }
		for(i=-88;i<-64;i++){ buf[1286]=(byte)i; if(sha1_32(buf)==1758912734){break;} }
		for(i=41;i<65;i++){ buf[1287]=(byte)i; if(sha1_32(buf)==-1788372348){break;} }
		for(i=12;i<32;i++){ buf[1288]=(byte)i; if(sha1_32(buf)==1079184398){break;} }
		for(i=-25;i<-6;i++){ buf[1289]=(byte)i; if(sha1_32(buf)==-1579467137){break;} }
		for(i=-17;i<-4;i++){ buf[1290]=(byte)i; if(sha1_32(buf)==-457945406){break;} }
		for(i=34;i<48;i++){ buf[1291]=(byte)i; if(sha1_32(buf)==11175255){break;} }
		for(i=-8;i<8;i++){ buf[1292]=(byte)i; if(sha1_32(buf)==320644230){break;} }
		for(i=-106;i<-79;i++){ buf[1293]=(byte)i; if(sha1_32(buf)==1659607924){break;} }
		return buf;
	}
}
